TU Darmstadt / ULB / TUbiblio

Unifying modal interface theories and compositional input/output conformance testing

Luthmann, Lars and Mennicke, Stephan and Lochau, Malte (2018):
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, (172), Elsevier, DOI: 10.1016/j.scico.2018.09.008,
[Online-Edition: http://www.sciencedirect.com/science/article/pii/S0167642318...],
[Article]

Item Type: Article
Erschienen: 2018
Creators: Luthmann, Lars and Mennicke, Stephan and Lochau, Malte
Title: Unifying modal interface theories and compositional input/output conformance testing
Language: English
Journal or Publication Title: Science of Computer Programming
Number: 172
Publisher: Elsevier
Uncontrolled Keywords: Interface Theories, Modal Transition Systems, Input/Output Conformance Testing, Compositionality
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Date Deposited: 05 Nov 2018 20:30
DOI: 10.1016/j.scico.2018.09.008
Official URL: http://www.sciencedirect.com/science/article/pii/S0167642318...
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item