Nielsen, Claus Ballegaard, Department of Engineering, Aarhus University, Denmark

• Technical Report Electronics and Computer Engineering Vol. 1 No. 9 (2012): Modelling Dynamic Topologies via Extensions of VDM-RT - Reports
  Modelling Dynamic Topologies via Extensions of VDM-RT
  Abstract  PDF