Format:
1 Online-Ressource (XV, 235 p. 103 illus., 15 illus. in color)
Edition:
1st ed. 2023
ISBN:
9783031230080
Series Statement:
Studies in Systems, Decision and Control 458
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-23007-3
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-23009-7
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-23010-3
Language:
English
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Model Checking
DOI:
10.1007/978-3-031-23008-0
URL:
Volltext
(URL des Erstveröffentlichers)
Bookmarklink
