TU Darmstadt / ULB / TUbiblio

Unifying Modal Interface Theories and Compositional Input/Output Conformance Testing

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 Eintrag anzeigen