Towards the compositional verification of real-time UML designs
Paper in proceedings, 2003

Author

Holger Giese

Matthias Tichy

University of Gothenburg

Sven Burmester

Wilhelm Schäfer

Stephan Flake

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003

38-47

Subject Categories

Software Engineering

More information

Created

10/10/2017