Old Web
English
Sign In
Acemap
>
Paper
>
Formal Validation of Aerospace Software
Formal Validation of Aerospace Software
2013
David Lesens
Yannick Moy
Johannes Kanig
Keywords:
Systems engineering
Aerospace
Engineering
formal validation
Software
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]