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)

видяно 8589 пъти
Google Scholar
DOI
RTF
EndNote XML

Последно обновяване: вторник, 04 April 2017