 |
aktualisiert am 08. Februar 2010 ISBN 978-3-89963-862-2
 Euro 51,00 inkl. 7% MwSt
Ina Schaefer
Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems
280 Seiten
Dissertation Technische Universität Kaiserslautern (2008), Softcover, A5,
| |
|