Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
doi: 10.1007/978-3-030-40914-2_8
Conference or Workshop Item, Bibliographie
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2019 |
| Creators: | Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte |
| Type of entry: | Bibliographie |
| Title: | Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata |
| Language: | English |
| Date: | 2019 |
| Place of Publication: | Amsterdam |
| Publisher: | Springer International Publishing |
| Book Title: | 16th International Conference on Formal Aspects of Component Software (FACS 2019) |
| DOI: | 10.1007/978-3-030-40914-2_8 |
| URL / URN: | https://link.springer.com/chapter/10.1007/978-3-030-40914-2_... |
| Divisions: | 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Date Deposited: | 17 Feb 2020 07:18 |
| Last Modified: | 17 Feb 2020 07:18 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum