logo
Formal approaches to safety-critical system development

Konferenzergebnisse (1)

International Conference on Formal Engineering Methods (ICFEM)

Rank: COffline
Hangzhou, China
Nov 10, 2025 - Nov 13, 2025
Formal specification and modelingFormal approaches to fault prevention and detectionAbstraction+18 mehr