|  |
| |
| Artikel-Nr.:
5667A-9783030582975 Herst.-Nr.:
9783030582975 EAN/GTIN:
9783030582975 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Maurice H. ter Beek; Dejan Ni?kovi? | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), architecture verification and validation, Cyber-Physical Systems, embedded systems, formal methods, Formal Specification, Industrial-Critical Systems, Internet of Things, mobile robots, model checking, Model Checking, Probabilistic Systems |
| | |
| |