research
.chalmers.se
På svenska
Log in
Towards the compositional verification of real-time UML designs
Paper in proceedings, 2003
Author
Holger Giese
Matthias Tichy
University of Gothenburg
Other publications
Research
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