Rainer Dömer. Efficient Modeling of Embedded Systems Using Computer-Aided Recoding. In Achim Rettberg, Mauro Cesar Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig, editors, Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings. Volume 310 of IFIP, pages 310-311, Springer, 2009. [doi]
Abstract is missing.