Unifying Modal Interface Theories and Compositional Input/Output Conformance Testing

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:

Eintrag anzeigen