Industrial deployment of system engineering methods providing high dependability and productivity

 

Linking Event-B and Concurrent Object-Oriented Programs

Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop.

Full text not available from this repository.

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


Item Type:Conference or Workshop Item (Paper)
Subjects:Event-B
ID Code:39
Deposited By:Michael Butler
Deposited On:07 Oct 2008 22:38
Last Modified:07 Oct 2008 22:38

Repository Staff Only: item control page

Deploy-Project - All right reserved