[1] Linda Mohand Oussaïd and Idir Ait-Sadoune. OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pages 117--121, Montpellier, France, June 2017. [ bib ]
[2] Linda Mohand Oussaïd and Idir Ait-Sadoune. Formal modelling of domain constraints in Event-B. In 7th International Conference on Model and Data Engineering (MEDI 2017), Model and Data Engineering, Barcelona, Spain, 2017. [ bib ]
[3] Dominique Méry. Playing with state-based models for designing better algorithms. Future Generation Comp. Syst., 68:445--455, 2017. [ bib | DOI | http ]
[4] J. Paul Gibson, Souad Kherroubi, and Dominique Méry. Applying a dependency mechanism for voting protocol models using event-b. In Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pages 124--138, 2017. [ bib | DOI | http ]

This file was generated by bibtex2html 1.98.