Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical;Modelling Foundations and Applications;2015
2. An Institution for Simple UML State Machines;Fundamental Approaches to Software Engineering;2015
3. A Formal Component Concept for the Specification of Industrial Control Systems;Integration of Software Specification Techniques for Applications in Engineering;2004
4. Semantical Integration of Object-Oriented Viewpoint Specification Techniques;Integration of Software Specification Techniques for Applications in Engineering;2004
5. “UML–ising” Formal Techniques;Integration of Software Specification Techniques for Applications in Engineering;2004