Nielsen, Claus Ballegaard, Department of Engineering, Aarhus University, Danmark
-
Technical Report Electronics and Computer Engineering Årg. 1 Nr. 9 (2012): Modelling Dynamic Topologies via Extensions of VDM-RT - Reports
Modelling Dynamic Topologies via Extensions of VDM-RT
Resumé PDF (English)