Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/159429
-
Titel: 
Formal analysis of cyber-physical systems
en
Zitat: 
Bartocci, E. (2018). Formal analysis of cyber-physical systems [Professorial Dissertation, Technische Universität]. reposiTUm. http://hdl.handle.net/20.500.12708/159429
-
CatalogPlus: 
AC15456914
-
Publikationstyp: 
Hochschulschrift - Habilitationsschrift
de
Sprache: 
Englisch
-
Autor_innen: 
Bartocci, Ezio 
-
Organisations­einheit: 
E180 - Fakultät für Informatik 
-
Datum (veröffentlicht): 
2018
-
Umfang: 
215
-
Weitere Information: 
Enthält Originalbeitrag und 8 Veröffentlichungen
-
Enthalten in den Sammlungen:
Thesis

Zur Langanzeige

Seiten Aufrufe

130
aufgerufen am 23.11.2023

Google ScholarTM

Check