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]
Abstract is missing.