Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)

Ábrahám, Erika; Tarifa, Silvia Lizeth Taipa

doi:0806-3036

Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)

Ábrahám, Erika (Editor)^RWTH* ; Tarifa, Silvia Lizeth Taipa (Editor)^RWTH*

2018 & 2019

Konferenz/Event:14. International Conference on integrated Formal Methods , Maynooth , Ireland , iFM’18 , 2018-09-05 - 2018-09-07

ISBN978-82-7368-435-6

ReiheResearch report / University of Oslo ; 483

Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2019

Online
DOI: 10.18154/RWTH-CONV-236485
URL: http://publications.rwth-aachen.de/record/753093/files/753093.pdf

Einrichtungen

OpenAccess:
PDF

Dokumenttyp
Proceedings/Book

Format
online

Sprache
English

Interne Identnummern
RWTH-CONV-236485
Datensatz-ID: 753093

Beteiligte Länder
Germany

Related:

Contribution to a book/Contribution to a conference proceedings Schupp, S. (Corresponding author)RWTH* ; Ábrahám, E.RWTH*
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
2018Proceedings 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.)
PhD Symposium at iFM’18 on Formal Methods, PhD-iFM’18, MaynoothMaynooth, Ireland, 4 Sep 2018 - 4 Sep 20182018-09-042018-09-04 Oslo : Oslo University, Research report 483, 2 Seiten (2018)2018 Fulltext BibTeX | EndNote: XML, Text | RIS