Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
inkl. Ust.
63,79 €
Lieferung
Lieferung am Mi. 22.10.2025
Händler*in
BMS
Der*die Händler*in gewährt für dieses Produkt eine Widerrufsfrist von 30 Tagen. Für Details lies bitte die Widerrufsbelehrung und das -formular sowie die jeweiligen Händler-AGB.
Produktdetails
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
Infotabelle
Produktspezifikationen
| Autor | Anne Remke; Bernhard Steffen |
| Format | gebundene Ausgabe |
| Sprachfassung | Englisch |
| Seiten | 297 |
| Erscheinungsdatum | 2025-08-28 |
| Verlag | Springer International Publishing |
Produktkennung
| Artikelnummer | m0000Q0OOP |
| EAN | 9783032009418 |
| GTIN | 09783032009418 |
Zusatzinfo und Downloads
Details zur Produktsicherheit
| Herstellerinformationen |
| Verantwortliche Person für die EU |
Produktdetails
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
Infotabelle
Produktspezifikationen
| Autor | Anne Remke; Bernhard Steffen |
| Format | gebundene Ausgabe |
| Sprachfassung | Englisch |
| Seiten | 297 |
| Erscheinungsdatum | 2025-08-28 |
| Verlag | Springer International Publishing |
Produktkennung
| Artikelnummer | m0000Q0OOP |
| EAN | 9783032009418 |
| GTIN | 09783032009418 |
Zusatzinfo und Downloads
Details zur Produktsicherheit
| Herstellerinformationen |
| Verantwortliche Person für die EU |