Wolff, Sune, Department of Engineering, Electrical and Computer Engineering, Aarhus University

• Technical Report Electronics and Computer Engineering Vol. 1 No. 1 (2012): Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft - Reports
  Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft
  Abstract  PDF