Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: second international conference ; proceedings / VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5295)
ISBN 978-3-540-87873-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
Schulz, Marc: Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung
/ M. Sc. Marc Schulz. - Als Manuskript gedruckt - Düsseldorf : VDI Verlag GmbH, 2019. - VIII, 186 Seiten : Illustrationen; 21 m - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1264)
ISBN 978-3-18-526408-5 Broschur
Quelle: DNB
Thaller, Georg Erwin: Verifikation und Validation
: Software-Test für Studenten und Praktiker / Georg Erwin Thaller. - Braunschweig : Vieweg, 1994. - X, 319 S.; 21 cm - (Lehrbuch Informatik : Informatik, Wirtschaftsinformatik)
ISBN 978-3-528-05442-7 / 3-528-05442-5 kart. : DM 49.80
Literaturverz. S. 290 - 296
Quelle: DNB
