Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; 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
[Konferenz- oder Workshop-Beitrag], (2014)
| Typ des Eintrags: | Konferenz- oder Workshop-Beitrag (Keine Angabe) |
|---|---|
| Erschienen: | 2014 |
| Autor(en): | Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; Schaefer, Ina |
| Titel: | Model-Based Testing |
| Sprache: | Englisch |
| Reihe: | Lecture Notes in Computer Science (LNCS) |
| Band: | 8483 |
| Ort: | Heidelberg |
| Verlag: | Springer Verlag |
| Fachbereich(e)/-gebiet(e): | Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme Fachbereich Elektrotechnik und Informationstechnik |
| Veranstaltungstitel: | Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
| Hinterlegungsdatum: | 04 Sep 2014 16:35 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum