Author:
Ait-Sadoune Idir,Ait-Ameur Yamine
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;W. Aalst van-der,2009
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, cambridge edn. Cambridge University Press, Cambridge (2010)
3. Abrial, J.R., Hallerstede, S.: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae 77, 1–28 (2007)
4. Aït-Ameur, Y., Baron, M., Kamel, N., Mota, J.-M.: Encoding a process algebra using the Event B method. Software Tools and Technology Transfer 11(3), 239–253 (2009)
5. Ait-Sadoune, I., Ait-Ameur, Y.: A Proof Based Approach for Modelling and Veryfing Web Services Compositions. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, pp. 1–10 (2009)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献