Industrial deployment of system engineering methods providing high dependability and productivity

 

A Roadmap for the Rodin Toolset

Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. In: Abstract State Machines, B and Z, First International Conference ABZ 2008.

Full text not available from this repository.

Official URL: http://eprints.ecs.soton.ac.uk/16769/


Item Type:Conference or Workshop Item (Paper)
Subjects:Tool developments
ID Code:37
Deposited By:Michael Butler
Deposited On:07 Oct 2008 22:10
Last Modified:07 Oct 2008 22:10

Repository Staff Only: item control page

Deploy-Project - All right reserved