Industrial deployment of system engineering methods providing high dependability and productivity


Refinement by Interface Instantiation

Hallerstede, Stefan and Hoang, Thai Son (2012) Refinement by Interface Instantiation. In: ABZ 2012, 19-21 June 2012, Pisa, Italy.

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Composition and reuse
Event-B > Event-B Theory
ID Code:416
Deposited By: Thai Son Hoang
Deposited On:09 Jul 2012 14:36
Last Modified:09 Jul 2012 14:36

Repository Staff Only: item control page

Deploy-Project - All right reserved