Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
eds.: Kouchnarenko, Olga ; Khosravi, Ramtin (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
13th International Conference on Formal Aspects of Component Software (FACS 2016).
Conference or Workshop Item, Bibliographie
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2016 |
| Editors: | Kouchnarenko, Olga ; Khosravi, Ramtin |
| Creators: | Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte |
| Type of entry: | Bibliographie |
| Title: | Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing |
| Language: | English |
| Date: | 2016 |
| Publisher: | Springer International Publishing |
| Event Title: | 13th International Conference on Formal Aspects of Component Software (FACS 2016) |
| URL / URN: | http://dx.doi.org/10.1007/978-3-319-57666-4_5 |
| Divisions: | 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 18 Department of Electrical Engineering and Information Technology |
| Date Deposited: | 18 Apr 2017 08:31 |
| Last Modified: | 18 Apr 2017 08:31 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum