Industrial deployment of system engineering methods providing high dependability and productivity

 

Formal Development of Critical Multi-Agent Systems: A Refinement Approach

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: 9th European Dependable Computing Conference – EDCC 2012, Sibiu, Romania.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Refinement
Methodology > Proof and model checking
Methodology > Resilience
Event-B > Event-B Examples
ID Code:409
Deposited By: Mr. Linas Laibinis
Deposited On:29 Jun 2012 07:55
Last Modified:29 Jun 2012 07:55

Repository Staff Only: item control page

Deploy-Project - All right reserved