Helen Treharne

Helen Treharne

University of Surrey - Guildford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056681
person_outline Helen Treharne's MOST POPULAR ARTICLES
1-) Using a process algebra to control B operations IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999
2-) Communicating B machines ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
3-) How to drive a B machine ZB 2000: Formal Specification and Development in Z and B: First …, 2000
4-) Techniques for modelling and verifying railway interlockings International Journal on Software Tools for Technology Transfer 16 (6), 685-711, 2014
5-) Techniques for modelling and verifying railway interlockingsP James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H TreharneInternational Journal on Software Tools for Technology Transfer 16 (6), 685-711, 2014562014