Biblio
Export 2 results:
Filters: Автор is Inna Pereverzeva [Clear All Filters]
Formal Development of Resilient Distributed Systems. Vol. PhD Dissertation. Turku, Finland: Abo Akademi University, Faculty of Science and Engineering, 2015.
Formal Goal-Oriented Development of Resilient MAS in Event-B In Proceedings of 17th International Conference on Reliable Software Technologies. Berlin, Heidelberg: Springer-Verlag, 2012.