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
