mediaTUM - Medien- und Publikationsserver

Benutzer: Gast

Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link

Titel:: STL model checking of continuous and hybrid systems
Dokumenttyp:: Konferenzbeitrag
Autor(en):: H. Roehm, J. Oehlerking, T. Heinz, and M. Althoff
Kongress- / Buchtitel:: Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
Jahr:: 2016
BibTeX

Vorkommen:

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Departments Computer Engineering Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)2016

mediaTUM Gesamtbestand Hochschulbibliographie 2016 Fakultäten Informatik Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)