Industrial deployment of system engineering methods providing high dependability and productivity

 

Development of Rabin's Choice Coordination algorithm in Event-B

Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 .

Full text not available from this repository.

Official URL: http://journal.ub.tu-berlin.de/eceasst/article/view/548


Item Type:Article
Subjects:Methodology > Other
Tool developments > Rodin plug-ins
Event-B > Event-B Theory
ID Code:417
Deposited By: Thai Son Hoang
Deposited On:09 Jul 2012 14:38
Last Modified:09 Jul 2012 14:39

Repository Staff Only: item control page

Deploy-Project - All right reserved