Author:
Büssow Robert,Grieskamp Wolfgang
Reference28 articles.
1. M. A. Ardis, J. A. Chaves, L. J. Jagadesaan, P. Mataga, C. Puchol, Mark G. Statskauskas, and J. Von Olnhausen. A framework for evaluating specification methods for reactive systems — experience report. IEEE Transactions on Software Engineering, 22(6):378–389, June 1996.
2. J. P. Bowen, A. Fett, and M. G. Hinchey, editors. ZUM’98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, 24–26 September 1998, volume 1493 of Lecture Notes in Computer Science. Springer- Verlag, 1998.
3. J. P. Bowen and J. E. Nicholls, editors. Z User Workshop, London 1992, Workshops in Computing. Springer-Verlag, 1993.
4. R. Büssow, R. Geisler, and M. Klar. Specifying safety-critical embedded systems with statecharts and Z: A case study. In Egidio Astesiano, editor, Proc. of the 1st Intl. Conf. on Fundemantal Approaches to Software Engineering - FASE ’ 98, volume 1382 of LNCS, pages 71–87. Springer-Verlang, 1998.
5. Robert Büssow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar. The μSZ notation version 1.0. Technical Report 97–26, Technische Universität Berlin, Fachbereich Informatik, December 1997.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献