Format:
1 Online-Ressource (viii, 127 Seiten) :
,
28 Illustrationen, 10 in Farbe.
ISBN:
978-3-031-09827-7
Series Statement:
Lecture notes in computer science 13361
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-09826-0
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-09828-4
Language:
English
Subjects:
Computer Science
Keywords:
Softwaresystem
;
Programmverifikation
;
Model Checking
;
Formale Methode
;
Softwareentwicklung
;
Softwaretest
;
Beweis
;
Konferenzschrift
DOI:
10.1007/978-3-031-09827-7
URL:
Volltext
(URL des Erstveröffentlichers)
