Industrial deployment of system engineering methods providing high dependability and productivity

 

Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment. In: SERENE 2010, London.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Event-B
Methodology
ID Code:325
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