Industrial deployment of system engineering methods providing high dependability and productivity


Proof of correctness for interface instantiation

Hoang, Thai Son Proof of correctness for interface instantiation. [Rodin Archive]

[img] ZIP Archive (Proof Method (Rodin 2.7.0)) - Supplemental Material
[img] ZIP Archive (Proof of Interface Instantiation Lattice) - Supplemental Material
[img] ZIP Archive (Proof of refinement of event E2 by G2) - Supplemental Material

Item Type:Rodin Archive
Subjects:Methodology > Composition and reuse
ID Code:364
Deposited By: Thai Son Hoang
Deposited On:20 Jan 2012 23:31
Last Modified:18 Feb 2013 09:48

Repository Staff Only: item control page

Deploy-Project - All right reserved