Markus Becker, Henning Zabel, Wolfgang Müller 0003. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf, editors, Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. Volume 329 of IFIP, pages 145-156, Springer, 2010. [doi]
@inproceedings{BeckerZ010,
title = {A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement},
author = {Markus Becker and Henning Zabel and Wolfgang Müller 0003},
year = {2010},
doi = {10.1007/978-3-642-15234-4_15},
url = {http://dx.doi.org/10.1007/978-3-642-15234-4_15},
tags = {meta-model, refinement, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BeckerZ010},
cites = {0},
citedby = {0},
pages = {145-156},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings},
editor = {Mike Hinchey and Bernd Kleinjohann and Lisa Kleinjohann and Peter A. Lindsay and Franz J. Rammig and Jon Timmis and Marilyn Wolf},
volume = {329},
series = {IFIP},
publisher = {Springer},
isbn = {978-3-642-15233-7},
}