mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(4099)
2023
(7785)
2022
(8707)
2021
(8941)
2020
(8201)
2019
(8884)
Fakultäten
(8190)
Architektur
(119)
Bau Geo Umwelt
(808)
Chemie
(169)
Elektrotechnik und Informationstechnik
(1251)
Informatik
(537)
Luftfahrt, Raumfahrt und Geodäsie
(504)
Maschinenwesen
(1236)
Mathematik
(163)
Medizin
(761)
Physik
(252)
Sport- und Gesundheitswissenschaften
(355)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(107)
TUM School of Education
(136)
TUM School of Governance
(104)
Wirtschaftswissenschaften
(380)
Wissenschaftszentrum Weihenstephan
(1316)
Integrated Research Centers
(438)
Zentrale Einrichtungen
(256)
2018
(8712)
2017
(8707)
2016
(8840)
2015
(8228)
2014
(7148)
2013
(6758)
2012
(5783)
2011
(5565)
2010
(5430)
2009
(4599)
2008
(4112)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
Herausgeber:
Frehse, Goran; Althoff, Matthias
Kongress- / Buchtitel:
Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Band / Teilband / Volume:
61
Jahr:
2019
Seiten:
41-61
Serientitel:
EPiC Series in Computing
Volltext / DOI:
doi:10.29007/m75b
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)
2019
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)