Holger Giese and Matthias Tichy and Sven Burmester and Stephan Flake.
Towards the compositional verification of real-time UML designs.
In
ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering,
pages 38–47,
New York, NY, USA,
9 2003.
ACM Press.
BibTeX file
@inproceedings{940078,
author = { Holger Giese and Matthias Tichy and Sven Burmester and Stephan Flake },
title = { Towards the compositional verification of real-time UML designs },
year = { 2003 },
pages = { 38--47 },
month = { 9 },
publisher = { ACM Press },
address = { New York, NY, USA },
booktitle = { ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering },
isbn = { 1-58113-743-5 }
}title = { Towards the compositional verification of real-time UML designs },
year = { 2003 },
pages = { 38--47 },
month = { 9 },
publisher = { ACM Press },
address = { New York, NY, USA },
booktitle = { ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering },
isbn = { 1-58113-743-5 }
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
last change: Wed, 04 Nov 2009 17:07:59 +0100