FMA
Formal Methods for Aerospace
Related events
NFM'09 The First
NASA Formal Methods Symposium
Formal
languages and methods for designing and verifying avionics, space and transport
systems, ISOLA'08
satellite event
COMPASS Correctness, Modelling, and Performance of Aerospace Systems ETAPS’08 satellite event
MLQA - Models and Logics for Quantitative
Analysis