Biblio

Export 5 results:
Filters: Автор is Elena Troubitsyna  [Clear All Filters]
2012
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.
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B In Proceedings of the International Conference on Integrated Formal Methods, IFM 2012., 2012.
2011
Derivation and Formal Verification of a Mode Logic for Layered Control Systems In Proceedings of the 18th Asia-Pacific Software Engineering Conference, APSEC 2011. IEEE, 2011.
2010
"Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.
2006
Butler, Michael, Cliff B. Jones, Alexander Romanovsky, and Elena Troubitsyna. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer, 2006.