AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Elena Troubitsyna

Elena Troubitsyna

Royal Institute of Technology - Stockholm / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 906014
KTH Royal Institute of Technology
person_outline Elena Troubitsyna's MOST POPULAR ARTICLES
1-) Supporting reuse in Event B development: modularisation approach International Conference on Abstract State Machines, Alloy, B and Z, 174-188, 2010
2-) Developing mode-rich satellite software by refinement in Event B International Workshop on Formal Methods for Industrial Critical Systems, 50-66, 2010
3-) A systematic mapping study of API usability evaluation methods Computer Science Review 33, 49-68, 2019
4-) Rigorous development of complex fault-tolerant systems Springer, 2006
5-) Augmenting Event-B modelling with real-time verification 2012 First International Workshop on Formal Methods in Software Engineering …, 2012