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)
| 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 |
Print
Impressum