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 |
Options (only for editors)
 |
View Item |
Drucken
Impressum