Industrial deployment of system engineering methods providing high dependability and productivity


Formal Refinement Automation

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal Refinement Automation. In: Eighth International Workshop on Automated Verification of Critical Systems, 30 September –1 October 2008, Glasgow. (Unpublished)


Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Composition and reuse
Methodology > Refinement
ID Code:33
Deposited By:Prof A Romanovsky
Deposited On:07 Oct 2008 17:14
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved