Model-Based Testing
Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer (Hrsg). Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 310 - 342
Erscheinungsjahr: 2014
ISBN/ISSN: 978-3-319-07316-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-07317-0_8
| Geprüft | Bibliothek |
