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:

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