Del 12135
Del 16040 i serien Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Häftad, Engelska, 2025
839 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
Produktinformation
- Utgivningsdatum2025-08-28
- Mått155 x 235 x 17 mm
- Vikt470 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor297
- FörlagSpringer Nature Switzerland AG
- ISBN9783032009418
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Performance Evaluation Methodologies and Tools
Anne Remke, Katinka Wolter, Gethin Norman
Häftad, 2026
1 069 kr
Computer Performance Engineering
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
Häftad, 2018
729 kr
Del 15454
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad, 2016
729 kr
Del 12289
Del 9081
Analytical and Stochastic Modelling Techniques and Applications
Marco Gribaudo, Daniele Manini, Anne Remke
Häftad, 2015
699 kr
- Nyhet
- Nyhet