Lochau, Malte and Peldszus, Sven and Kowal, Matthias and Schaefer, Ina (2014):
Model-Based Testing.
In: Lecture Notes in Computer Science (LNCS), 8483, pp. 310-342, Heidelberg, Springer Verlag, Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, [Conference or Workshop Item]
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2014 |
| Creators: | Lochau, Malte and Peldszus, Sven and Kowal, Matthias and Schaefer, Ina |
| Title: | Model-Based Testing |
| Language: | English |
| Series Name: | Lecture Notes in Computer Science (LNCS) |
| Volume: | 8483 |
| Place of Publication: | Heidelberg |
| Publisher: | Springer Verlag |
| Divisions: | 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Event Title: | Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
| Date Deposited: | 04 Sep 2014 16:35 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum