Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current issue
Archive
About
About the Journal
Editorial Team
Privacy Statement
Contact
Department of Engineering, Aarhus University
Search
Login
Home
/
Archives
/
Vol. 1 No. 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
Vol. 1 No. 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
Published:
2012-01-02
Reports
Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
Sune Wolff
PDF
Developed By
Open Journal Systems
Language
Dansk
English
Information
For Librarians
