Benjamin Hummel, Peter Braun. Towards an integrated system model for testing and verification of automation machines. In Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler, editors, International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. pages 51-56, ACM, 2008. [doi]
@inproceedings{HummelB08,
title = {Towards an integrated system model for testing and verification of automation machines},
author = {Benjamin Hummel and Peter Braun},
year = {2008},
doi = {10.1145/1370731.1370744},
url = {http://doi.acm.org/10.1145/1370731.1370744},
researchr = {https://researchr.org/publication/HummelB08},
cites = {0},
citedby = {0},
pages = {51-56},
booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008},
editor = {Joanne M. Atlee and Robert B. France and Geri Georg and Ana Moreira and Bernhard Rumpe and Steven Völkel and Steffen Zschaler},
publisher = {ACM},
isbn = {978-1-60558-025-8},
}