Spring til hovedindhold
Spring til hovednavigations-menu
Spring til bundtekst
Open Menu
Nyeste
Arkiv
Om
Om tidsskriftet
Redaktionsgruppe
Erklæring om beskyttelse af personlige oplysninger
Kontaktperson
Department of Engineering, Aarhus University
Søg
Log på
Startside
/
Arkiver
/
Årg. 1 Nr. 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
Årg. 1 Nr. 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
Publiceret:
2012-01-02
Reports
Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
Sune Wolff
PDF (English)
Udviklet af
Open Journal Systems
Sprog
Dansk
English
Information
Til bibliotekarer
