TU Darmstadt / ULB / TUbiblio

Unifying modal interface theories and compositional input/output conformance testing

Luthmann, Lars and Mennicke, Stephan and 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)
[Article] , (2018)

Official URL: http://www.sciencedirect.com/science/article/pii/S0167642318...
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: https://doi.org/10.1016/j.scico.2018.09.008
Official URL: http://www.sciencedirect.com/science/article/pii/S0167642318...
Export:

Optionen (nur für Redakteure)

View Item View Item