Wolff S. Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft. ECE-TR [Internet]. 2. januar 2012 [henvist 7. december 2025];1(1). Tilgængelig hos: https://tidsskrift.dk/ece/article/view/21123