Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2018)
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, (172)
doi: 10.1016/j.scico.2018.09.008
Article, Bibliographie
| Item Type: | Article |
|---|---|
| Erschienen: | 2018 |
| Creators: | Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte |
| Type of entry: | Bibliographie |
| Title: | Unifying modal interface theories and compositional input/output conformance testing |
| Language: | English |
| Date: | 2018 |
| Publisher: | Elsevier |
| Journal or Publication Title: | Science of Computer Programming |
| Issue Number: | 172 |
| DOI: | 10.1016/j.scico.2018.09.008 |
| URL / URN: | http://www.sciencedirect.com/science/article/pii/S0167642318... |
| 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 |
| Last Modified: | 11 Jan 2019 09:23 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum