http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
Publications
Events
Related Projects
   
 

VDM Resources

The files below are VDM models of the Dynamic Coalitions described in Newcastle University Computer Science Technical Report CS-TR-963.

VDM files available for download.

To obtain all of the files download the zip file

A summary of which operations are in all the modules can be found HERE.

To obtain individual files right click on the file name in the following list and choose ' save target/file as':
 
Page Maintainer: webmaster@dirc.org.uk Credits       Project Members only Last Modified: 22 January, 2007