Integrated architectural modeling and analysis for high-assurance command and control system design

Author： Deng Y.   Wang J.  

Publisher： Springer Publishing Company

ISSN： 1022-7091

Source： Annals of Software Engineering, Vol.7, Iss.1-4, 1999-01, pp. : 47-70

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

The MILS architecture for high-assurance embedded systems

By Alves-Foss Jim   Oman Paul W.   Taylor Carol   Harrison W. Scott  

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 239-247

Inderscience Publishers

Access to resources Recommend Favorite

Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware

By McKinley Philip  

Journal of Internet Services and Applications, Vol. 3, Iss. 1, 2012-05 ,pp. : 51-58

Springer Publishing Company

Access to resources Recommend Favorite

A control-design-based solution to robotic ecology: Autonomy of achieving cooperative behavior from a high-level astronaut command

By Wang Jing  

Autonomous Robots, Vol. 20, Iss. 2, 2006-03 ,pp. : 97-112

Springer Publishing Company

Access to resources Recommend Favorite

Analysis of some grey control system modeling

By Hejin Xiong   Wenjing Peng  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 41, Iss. 9, 2012-10 ,pp. : 1312-1317

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Motion control system analysis and design for a humanoid robot

By Du Qinjun   Shi Xiang   Lu Enqing   Zhang Xueyi  

International Journal of Modelling, Identification and Control, Vol. 17, Iss. 2, 2012-09 ,pp. : 158-165

Inderscience Publishers

Access to resources Recommend Favorite