Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen

Research output: Contribution to journalConference article in JournalResearchpeer-review

147 Downloads (Pure)
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume277
Pages (from-to)147-160
Number of pages14
ISSN2075-2180
DOIs
Publication statusPublished - 7 Sep 2018
Event9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Germany
Duration: 26 Sep 201828 Sep 2018
Conference number: 9

Conference

Conference9th Symposium on Games, Automata, Logics and Formal Verification
Number9
CountryGermany
CitySaarbrüchen
Period26/09/201828/09/2018

Fingerprint Dive into the research topics of 'Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar'. Together they form a unique fingerprint.

Cite this