Author:
Bernardi Simona,Merseguer José,Petriu Dorina Corina
Publisher
Springer Berlin Heidelberg
Reference193 articles.
1. AADL (2006) The Architecture Analysis & Design Language (AADL): An Introduction. Technical Note CMU/SEI-2006-TN-011
2. AADL (2009) Architecture Analysis & Design Language. SAE International
3. AADL-EM (2006) SAE-AS5506/1 Architecture Analysis and Design Language Annex (AADL): Vol 1, annex E:Error Model. International Society of Automotive Engineers
4. Addouche N, Antoine C, Montmain J (2004) UML models for dependability analysis of real-time systems. In: Proceedings of the international conference on systems, man and cybernetics, vol 6. IEEE Computer Society, Silver Spring, pp 5209–5214
5. Addouche N, Antoine C, Montmain J (2006) Methodology for UML modeling and formal verification of real-time systems. In: International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006). IEEE Computer Society, Silver Spring, p 17
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献