Theory and applications of runtime monitoring metric first-order temporal logic (Englisch)
- Neue Suche nach: Müller, Samuel
2009
- Hochschulschrift / Elektronische Ressource
-
Titel:Theory and applications of runtime monitoring metric first-order temporal logic
-
Beteiligte:
-
Hochschulschrift:Zugl.: Zürich, Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 18445, 2009
-
Verlag:
- Neue Suche nach: ETH
-
Erscheinungsort:Zürich
-
Erscheinungsdatum:2009
-
Format / Umfang:Online-Ressource (1 Band)
-
Anmerkungen:Ill
-
DOI:
-
Medientyp:Hochschulschrift
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle: