Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Information Processing 92, Vol. I;J.R. Abrial,1992
2. G. Booch: Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA, 1991.
3. M. Broy: Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects of Computing 3 (1991) 21–57.
4. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118;M. Broy,1993
5. Lecture Notes in Computer Science, Vol. 907;M. Broy,1995
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a System Model for Ensembles;Formal Modeling: Actors, Open Systems, Biological Systems;2011
2. Algebraic State Machines;Algebraic Methodology and Software Technology;2000
3. Enriching the Software Development Process by Formal Methods;Applied Formal Methods — FM-Trends 98;1999
4. The Formal and Systematic Specification of Market Structures and Trading Services;Journal of Management Information Systems;1998-09
5. A Logical Basis for Modular Software and Systems Engineering;SOFSEM’ 98: Theory and Practice of Informatics;1998