Author: Thirukumaran Sanmugasundaram Hoole Paul Ratnamahilan Polycarp Ramiah Harikrishnan Kanesan Jeevan Pirapaharan Kandasamy Hoole Samuel Ratnajeevan Herbert
Publisher: Emerald Group Publishing Ltd
ISSN: 0332-1649
Source: COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol.33, Iss.1-2, 2014-01, pp. : 540-555
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
By Caron Armand
Kybernetes: The International Journal of Systems & Cybernetics, Vol. 38, Iss. 5, 2009-01 ,pp. :
By Zou Jun Zhou Chenglong Li Wenwen Lee Jae-bok Chang Sughun
COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 32, Iss. 6, 2013-11 ,pp. :
Model checking aircraft controller software: a case study
SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 7, 2015-07 ,pp. :