Period of time： 2013年3-4期
Publisher： Inderscience Publishers
Founded in： 2005
Total resources： 13
ISSN： 1741-1068
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
International Journal of Embedded Systems,volume 2,issue 3-4
Menu
Applying model-driven development to distributed real-time and embedded avionics systems
By Balasubramanian Krishnakumar,Krishna Arvind S.,Turkay Emre,Balasubramanian Jaiganesh,Parsons Jeff,Gokhale Aniruddha,Schmidt Douglas C. in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.
Access to resources
Recommend
Real-time virtual machines for avionics software migration
By Sha Lui,Lee Chang-Gun in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.By Borg Andrew,Wellings Andy in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.A survey of formal verification methods and tools for embedded and real-time systems
By Cheng Albert Mo Kim in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.Partitioning bin-packing algorithms for distributed real-time systems
By Niz Dionisio De,Rajkumar Raj in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.Performance analysis of hard-real-time embedded software
By Huang Tai-Yi,Huang Kuang-Li,Chung Yeh-Ching in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.Syntax-driven optimisations for reachable state space construction of ESTEREL programs
By Vecchie Eric,Simone Robert de in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.The MILS architecture for high-assurance embedded systems
By Alves-Foss Jim,Oman Paul W.,Taylor Carol,Harrison W. Scott in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.LyraFILE: a component-based VFAT file system for embedded systems
By Chiang Mei-Ling,Lo Ching-Ju in (2007)
International Journal of Embedded Systems,volume 2,issue 3-4 , Vol. 2, Iss. 3-4, 2007-08 , pp.