Treffer: Validation of safety critical distributed real-time systems

Verantwortlich:
Entstehung:
2003
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
München, Techn. Univ., Diss., 2003