| Original language | English |
|---|---|
| Journal | Electronic Proceedings in Theoretical Computer Science |
| Volume | 277 |
| Pages (from-to) | 147-160 |
| Number of pages | 14 |
| ISSN | 2075-2180 |
| DOIs | |
| Publication status | Published - 7 Sep 2018 |
| Event | 9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Germany Duration: 26 Sep 2018 → 28 Sep 2018 Conference number: 9 |
Conference
| Conference | 9th Symposium on Games, Automata, Logics and Formal Verification |
|---|---|
| Number | 9 |
| Country | Germany |
| City | Saarbrüchen |
| Period | 26/09/2018 → 28/09/2018 |
Fingerprint
Cite this
}
Effortless Fault Localisation : Conformance Testing of Real-Time Systems in Ecdar. / Gundersen, Tobias R.; Lorber, Florian; Nyman, Ulrik; Ovesen, Christian.
In: Electronic Proceedings in Theoretical Computer Science, Vol. 277, 07.09.2018, p. 147-160.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
TY - GEN
T1 - Effortless Fault Localisation
T2 - Conformance Testing of Real-Time Systems in Ecdar
AU - Gundersen, Tobias R.
AU - Lorber, Florian
AU - Nyman, Ulrik
AU - Ovesen, Christian
PY - 2018/9/7
Y1 - 2018/9/7
UR - http://ulrik.blog.aau.dk/ecdar/
U2 - 10.4204/EPTCS.277.11
DO - 10.4204/EPTCS.277.11
M3 - Conference article in Journal
VL - 277
SP - 147
EP - 160
JO - Electronic Proceedings in Theoretical Computer Science
JF - Electronic Proceedings in Theoretical Computer Science
SN - 2075-2180
ER -