Industrial deployment of system engineering methods providing high dependability and productivity


Towards Probabilistic Modelling in Event-B

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Towards Probabilistic Modelling in Event-B. In: IFM 2010, Nancy.

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
ID Code:327
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