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 |