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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

177 Downloads (Pure)
OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind277
Sider (fra-til)147-160
Antal sider14
ISSN2075-2180
DOI
StatusUdgivet - 7 sep. 2018
Begivenhed9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Tyskland
Varighed: 26 sep. 201828 sep. 2018
Konferencens nummer: 9

Konference

Konference9th Symposium on Games, Automata, Logics and Formal Verification
Nummer9
LandTyskland
BySaarbrüchen
Periode26/09/201828/09/2018

Fingeraftryk Dyk ned i forskningsemnerne om 'Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar'. Sammen danner de et unikt fingeraftryk.

Citationsformater