Industrial deployment of system engineering methods providing high dependability and productivity

 

Quantitative Verification of System Safety in Event-B

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2011) Quantitative Verification of System Safety in Event-B. In: SERENE 2011. (In Press)

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Event-B
Methodology
ID Code:329
Deposited By: Mr. Linas Laibinis
Deposited On:04 Sep 2011 11:57
Last Modified:04 Sep 2011 11:57

Repository Staff Only: item control page

Deploy-Project - All right reserved