Gast ::
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
;
In
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika Ábrahám and Silvia Lizeth Tapia Tarifa (eds.), Seiten/Artikel-Nr: 2 Seiten
2018
Online
URL: https://www.duo.uio.no/handle/10852/63284
Einrichtungen
- Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
- Graduiertenkolleg UnRAVeL (080060)
Externer link: 
Volltext
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Interne Identnummern
RWTH-2019-08722
Datensatz-ID: 767299
Beteiligte Länder
Germany
Related:
Proceedings/Book
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
14. International Conference on integrated Formal Methods, iFM’18, MaynoothMaynooth, Ireland, 5 Sep 2018 - 7 Sep 2018
Research report / University of Oslo 483, (2018) [10.18154/RWTH-CONV-236485]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
|
The record appears in these collections: |
Volltext