Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14¿15, 2022, Proceedings
BuchKartoniert, Paperback
CHF98.00

Beschreibung

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-031-15007-4
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum12.08.2022
Auflage1st ed. 2022
ReiheLecture Notes in Computer Science
Reihen-Nr.13487
Seiten256 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 15 mm
Gewicht394 g
Artikel-Nr.18242161
KatalogBuchzentrum
Datenquelle-Nr.40419736
Weitere Details

Reihe

Autor

Schlagworte