Industrial deployment of system engineering methods providing high dependability and productivity

 

Event-B Patterns and Their Tool Support

Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2011) Event-B Patterns and Their Tool Support. Software and Systems Modelling .

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/s10270-010-0183-7


Item Type:Article
Subjects:Methodology > Composition and reuse
Tool developments > Rodin plug-ins
ID Code:412
Deposited By: Thai Son Hoang
Deposited On:09 Jul 2012 14:10
Last Modified:09 Jul 2012 14:39

Repository Staff Only: item control page

Deploy-Project - All right reserved