Author:
Heiner Monika,Heisel Maritta
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. [BDG+ 96]_ R. Büssow, H. Dörr, R. Geisler, W. Grieskamp, and M. Klar. μ SZ-ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Technische Universität Berlin, 1996.
2. Lect Notes Comput Sci;E. Best,1996
3. R. Büssow, W. Grieskamp, W. Heicking, and S. Herrmann. An open environment for the integration of heterogeneous modelling techniques and tools. In Current Trends in Applied Formal Methods. Springer-Verlag, 1998. to appear.
4. M. Heiner, P. Deussen, and J. Spranger. A case study in developing control software of manufacturing systems with hierarchical Petri nets. Int. Journal of Advanced Manufacturing Technology, 15:139–152, 1999.
5. [HLN+ 90]_ D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. rakhtenbrot. Statemate:A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 No. 4, April 1990.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deadlock Detection Examples: The Dedan Environment at Work;Studies in Computational Intelligence;2019-03-17
2. Introduction;Studies in Computational Intelligence;2019-03-17
3. Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems;Studies in Big Data;2018-05-19
4. Modelling safety-critical devices;Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems;2017-06-26
5. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark;Electronic Proceedings in Theoretical Computer Science;2017-03-15