Eintrag weiter verarbeiten
Verification of temporal properties in embedded software
Gespeichert in:
Personen und Körperschaften: | |
---|---|
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 |