Formal Goal-Oriented Development of Resilient MAS in Event-B Вид публикации: Conference Proceedings Авторы: Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis Источник: Proceedings of 17th International Conference on Reliable Software Technologies, Springer-Verlag, Berlin, Heidelberg, p.147-161 (2012)
