Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327 (PDF)
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327 (PDF)“
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.
The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.
The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
Bibliographische Angaben
- 2020, 1st ed. 2020, 289 Seiten, Englisch
- Herausgegeben: Maurice H. ter Beek, Dejan Nickovic
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030582981
- ISBN-13: 9783030582982
- Erscheinungsdatum: 28.08.2020
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327"
0 Gebrauchte Artikel zu „Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327".
Kommentar verfassen