Formal Goal-Oriented Development of Resilient MAS in Event-B
Publication Type:
Conference ProceedingsSource:
Proceedings of 17th International Conference on Reliable Software Technologies, Springer-Verlag, Berlin, Heidelberg, p.147-161 (2012)- 7951 reads
- Google Scholar
- DOI
- RTF
- EndNote XML