Umfang:
1 Online-Ressource :
,
Illustrationen, Diagramme.
ISBN:
978-3-030-83903-1
Serie:
Lecture notes in computer science 12852
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-83902-4
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-83904-8
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Künstliche Intelligenz
;
Software Engineering
;
Kryptologie
;
Software
;
Zuverlässigkeit
;
Formale Methode
;
Konferenzschrift
DOI:
10.1007/978-3-030-83903-1
URL:
Volltext
(URL des Erstveröffentlichers)
Mehr zum Autor:
Bitsch, Friedemann 1974-