Modelling Resilient Systems-of-Systems in Event-B.
| Autor: | Laibinis, Linas, Pereverzeva, Inna, Troubitsyna, Elena |
|---|---|
| Zdroj: | Computer Safety, Reliability & Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings; 2014, p157-166, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|