mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(4101)
2023
(7786)
2022
(8707)
2021
(8941)
2020
(8201)
2019
(8884)
Fakultäten
(8190)
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
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)