Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Using formal methods with SysML in aerospace design and engineering;Annals of Mathematics and Artificial Intelligence;2011-09
2. Mappings of MOF Metamodels and Algebraic Languages;Advances in Computer and Electrical Engineering;2010
3. Formalization of UML-Statecharts;≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools;2001