Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Information Systems,Management Information Systems,Software
Reference45 articles.
1. Aït-Sadoune I, Ait-Ameur Y (2015) Formal modelling and verification of transactional web service composition: a refinement and proof approach with event-b. In: Thalheim B, Schewe K-D, Prinz A, Buchberger B (eds) Correct software in web applications and web services. Springer, Berlin, pp 1–27
2. Abrial J-R, Butler M, Hallerstede S, Hoàng TS, Mehta F, Voisin L (2010) Rodin: an open toolset for modelling and reasoning in Event-B. Int J Softw Tools Technol Transf 12(6):447–466
3. Abrial J-R (1996) The B-book: assigning programs to meanings. Cambridge University Press, Cambridge
4. Abrial J-R (2010) Modeling in Event-B: system and software engineering, 1st edn. Cambridge University Press, New York
5. Lecture notes in computer science;X An,2015