Lochau, Malte and Peldszus, Sven and Kowal, Matthias and Schaefer, Ina
:
Model-Based Testing.
In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems.
In: Lecture Notes in Computer Science (LNCS)
, 8483
.
Springer Verlag
, Heidelberg
[Conference or Workshop Item]
, (2014)
| 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: |
Optionen (nur für Redakteure)
 |
View Item |
Print
Impressum