Author:
Aldrich Bill,Fehnker Ansgar,Feiler Peter H.,Han Zhi,Krogh Bruce H.,Lim Eric,Sivashankar Shiva
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. OMG model driven architecture, http://www.omg.org/mda
2. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: Nineteenth Annual ACM Symposium on Principles of Programming Languages (1992)
3. Feiler, P., Lewis, B., Vestal, S.: The SAE Architecture Analysis & Design Language (AADL) Standard: A basis for model-based architecture-driven embedded systems engineering. In: IFIP World Computer Congress - Workshop on Architecture Description Languages (WADL 2004) (2004)
4. Feiler, P.H., Li, J.: Managing inconsistency in reconfigurable systems. In: IEEE Proceedings Software, pp. 172–179 (1998)
5. Han, Z., Krogh, B.H.: Using reduced-order models in reachability analysis of hybrid systems. In: IEEE Proc. of American Control Conference (to appear, 2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrated Modeling Workflow for Security Assurance;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
2. From control law diagrams to Ada via
Circus;Formal Aspects of Computing;2011-07
3. An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems;Hybrid Systems: Computation and Control;2005