Author:
Benyagoub Sarah,Ouederni Meriem,Aït-Ameur Yamine,Mashkoor Atif
Publisher
Springer International Publishing
Reference21 articles.
1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991)
2. Abrial, J.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Athalye, A.: CoqIOA: A formalization of IO automata in the Coq proof assistant, vol. 1019, pp. 1–53 (1995)
4. Babin, G., Ait-Ameur, Y., Pantel, M.: Correct instantiation of a system reconfiguration pattern: a proof and refinement-based approach. In: Proceedings of HASE 2016, pp. 31–38. IEEE Computer Society (2016)
5. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of POPL 2012, pp. 191–202. ACM (2012)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献