Placeholder text
Integrated Formal Methods
0 - Default Title
Description
The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.
Product details
Binding:
Paperback
Number of Pages:
536
Release Date:
2025-11-16
Publication Date:
2025-11-16
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032107938
ISBN13:
9783032107930
GPSR Manufacturer Reference:
Weight:
803 g
Height:
155 cm
Width:
235 cm
Thickness:
29 cm
Currently sold out