![](/img/cover-not-exists.png)
[IEEE 2013 IEEE Aerospace Conference - Big Sky, MT (2013.3.2-2013.3.9)] 2013 IEEE Aerospace Conference - A methodology for model-based development and automated verification of software for aerospace systems
Martin, L., Schatalov, M., Hagner, M., Goltz, U., Maibaum, O.Year:
2013
Language:
english
DOI:
10.1109/aero.2013.6496950
File:
PDF, 2.84 MB
english, 2013