Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
:
Unifying modal interface theories and compositional input/output conformance testing.
[Online-Edition: http://www.sciencedirect.com/science/article/pii/S0167642318...]
In:
Science of Computer Programming
(172)
[Artikel]
, (2018)
Offizielle URL: http://www.sciencedirect.com/science/article/pii/S0167642318...
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2018 |
| Autor(en): | Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte |
| Titel: | Unifying modal interface theories and compositional input/output conformance testing |
| Sprache: | Englisch |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Science of Computer Programming |
| (Heft-)Nummer: | 172 |
| Verlag: | Elsevier |
| 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 |
| DOI: | https://doi.org/10.1016/j.scico.2018.09.008 |
| Offizielle URL: | http://www.sciencedirect.com/science/article/pii/S0167642318... |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum