Time to Learn - Learning Timed Automata from Tests

Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen, Florian Lorber

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelFormal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Herausgeber (Verlag)Springer
Seiten216 - 235
Seitenumfang20
DOIs
PublikationsstatusVeröffentlicht - 2019
Veranstaltung17th International Conference on Formal Modeling and Analysis of Timed Systems - Amsterdam, Niederlande
Dauer: 27 Aug 201929 Aug 2019

Publikationsreihe

NameLecture Notes in Computer Science
Band11750

Konferenz

Konferenz17th International Conference on Formal Modeling and Analysis of Timed Systems
KurztitelFORMATS 2019
LandNiederlande
OrtAmsterdam
Zeitraum27/08/1929/08/19

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren