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
2251Kb

Abstract

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 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