Thomas Lehmann. Modelling of Device Driver Software by Reflection of the Device Hardware Structure. 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 24-31, Springer, 2009. [doi]
Abstract is missing.