Biblio

Export 2 results:
Filters: Author is Inna Pereverzeva  [Clear All Filters]
2015
Pereverzeva, Inna. Formal Development of Resilient Distributed Systems. Vol. PhD Dissertation. Turku, Finland: Abo Akademi University, Faculty of Science and Engineering, 2015.
2012
Pereverzeva, Inna, Elena Troubitsyna, and Linas Laibinis. 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.