Datenbestand vom 03. Februar 2012
Fax: 089 / 66060799 Tel: 089 / 66060798 Mo - Fr, 9 - 12 Uhr
Impressum
aktualisiert am 03. Februar 2012
978-3-89963-862-2, Reihe Informatik
Ina Schaefer Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems
280 Seiten, Dissertation Technische Universität Kaiserslautern (2008), Softcover, A5