Model-based runtime analysis of distributed reactive systems
Title | Model-based runtime analysis of distributed reactive systems |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Bauer, A, Leucker, M, Schallhart, C |
Conference Name | 17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia |
Publisher | {IEEE} Computer Society |
URL | http://dx.doi.org/10.1109/ASWEC.2006.36 |
DOI | 10.1109/ASWEC.2006.36 |
Bibtex:
@inproceedings {1158, title = {Model-based runtime analysis of distributed reactive systems}, booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia}, year = {2006}, publisher = {{IEEE} Computer Society}, organization = {{IEEE} Computer Society}, doi = {10.1109/ASWEC.2006.36}, url = {http://dx.doi.org/10.1109/ASWEC.2006.36}, author = {Andreas Bauer and Martin Leucker and Christian Schallhart} }