Industrial deployment of system engineering methods providing high dependability and productivity
 

Tasking Event-B: An Extension to Event-B for Generating Concurrent Code

Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. (In Press)

Full text not available from this repository.

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


Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Event-B, Code Generation, Tooling, Concurrency
Subjects:Tool developments > Code generation
ID Code:291
Deposited By:Michael Butler
Deposited On:24 Feb 2011 08:45
Last Modified:24 Feb 2011 08:45

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved