Vol. 1 No. 9 (2012): Modelling Dynamic Topologies via Extensions of VDM-RT

Published: 2012-12-02