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 |