Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Pereverzeva, Inna"'
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-agent system by refinement in Event-B. We demonstrate how to formally s
Externí odkaz:
http://arxiv.org/abs/1210.7035
Publikováno v:
Formal Methods & Software Engineering (9783319478456); 2016, p141-158, 18p
Autor:
Troubitsyna, Elena, Laibinis, Linas, Pereverzeva, Inna, Kuismin, Tuomas, Ilic, Dubravka, Latvala, Timo
Publikováno v:
Computer Safety, Reliability & Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings; 2016, p213-225, 13p
Publikováno v:
Collaboration & Technology: 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings; 2015, p29-43, 15p
Publikováno v:
Computer Safety, Reliability & Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings; 2014, p157-166, 10p
Autor:
Laibinis, Linas, Byholm, Benjamin, Pereverzeva, Inna, Troubitsyna, Elena, Eeik Tan, Kuan, Porres, Ivan
Publikováno v:
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings; 2014, p103-119, 17p
Autor:
Pereverzeva, Inna, Butler, Michael, Fathabadi, Asieh Salehi, Laibinis, Linas, Troubitsyna, Elena
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p238-254, 17p
Publikováno v:
Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p363-379, 17p
Publikováno v:
Software Engineering for Resilient Systems (9783642408939); 2013, p109-124, 16p
Publikováno v:
Computer Safety, Reliability & Security (9783642336775); 2012, p210-222, 13p