Format:
1 Online-Ressource (ix, 420 Seiten) :
,
185 Illustrationen, 99 in Farbe.
ISBN:
978-3-031-26236-4
Series Statement:
Lecture notes in computer science 13765
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-26235-7
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-26237-1
Language:
English
Keywords:
Programmverifikation
;
Softwarespezifikation
;
Model Checking
;
Softwaretest
;
Programmanalyse
;
Software Engineering
;
Formale Methode
;
Requirements engineering
;
Anwendungssystem
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-031-26236-4
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
