Eintrag weiter verarbeiten
Buchumschlag von Verification of temporal properties in embedded software
Verfügbar über Open Access

Verification of temporal properties in embedded software

Gespeichert in:

Personen und Körperschaften: Lettnin, Djones Vinicius (VerfasserIn)
Titel: Verification of temporal properties in embedded software/ vorgelegt von Djones Vinicius Lettnin
Hochschulschriftenvermerk: Tübingen, Univ., Diss., 2009
Medientyp: E-Book Hochschulschrift
Sprache: Englisch
veröffentlicht:
2009
Schlagwörter:
Druckausg. u.d.T.: Lettnin, Djones Vinicius, Verification of temporal properties in embedded software, 2009, X, 134 S.
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen