Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2018)
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, (172)
doi: 10.1016/j.scico.2018.09.008
Artikel, Bibliographie
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2018 |
| Autor(en): | Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte |
| Art des Eintrags: | Bibliographie |
| Titel: | Unifying modal interface theories and compositional input/output conformance testing |
| Sprache: | Englisch |
| Publikationsjahr: | 2018 |
| Verlag: | Elsevier |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Science of Computer Programming |
| (Heft-)Nummer: | 172 |
| DOI: | 10.1016/j.scico.2018.09.008 |
| URL / URN: | http://www.sciencedirect.com/science/article/pii/S0167642318... |
| Freie Schlagworte: | Interface Theories, Modal Transition Systems, Input/Output Conformance Testing, Compositionality |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
| Hinterlegungsdatum: | 05 Nov 2018 20:30 |
| Letzte Änderung: | 11 Jan 2019 09:23 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum