Umfang:
viii, 139 Seiten
,
Illustrationen, Diagramme
ISBN:
9783030921361
Serie:
Lecture notes in computer science 13130
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-92137-8
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Formale Methode
;
Verifikation
;
Softwaretest
;
Modellgetriebene Entwicklung
;
Fehlertoleranz
;
Software Engineering
;
Künstliche Intelligenz
;
Mathematische Logik
;
Algorithmus
;
Konferenzschrift