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