Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata
| Titel | Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2020 |
| Authors | Luthmann, L, Göttmann, H, Lochau, M |
| Conference Name | Proceedings of the 16th International Conference on Formal Aspects of Component Software (FACS) |
| Pagination | 147-169 |
| Publisher | Springer |
| DOI | 10.1007/978-3-030-40914-2_8 |
Undefined