Industrial deployment of system engineering methods providing high dependability and productivity


Structured Event-B Models and Proofs

Hallerstede, Stefan Structured Event-B Models and Proofs. [Rodin Archive]

[img]ZIP Archive (Extended GCD Algorithm) - Supplemental Material


For details about this Rodin Model see Hallerstede: Structured Event-B Models and Proofs Published in ABZ 2010, 2010, LNCS, Springer-Verlag

Item Type:Rodin Archive
Subjects:Methodology > Composition and reuse
Event-B > Event-B Theory
ID Code:229
Deposited By:Jens Bendisposto
Deposited On:11 Jun 2010 10:41
Last Modified:11 Jun 2010 10:41

Repository Staff Only: item control page

Deploy-Project - All right reserved