Treffer: Model checking of software for microcontrollers
Titel:
Model checking of software for microcontrollers / vorgelegt von Bastian Schlich
Beteiligt:
Entstehung:
2008
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Rheinisch-Westfälische Technische Hochschule Aachen, 2008
Schlagworte: