@inproceedings{mohandoussaid:hal-01546065,
title = {{OntoEventB : Un outil pour la mod{\'e}lisation des ontologies dans B {\'E}v{\'e}nementiel}},
author = {Mohand Oussa{\"i}d, Linda and Ait-Sadoune, Idir},
booktitle = {{Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels (AFADL)}},
address = {Montpellier, France},
pages = {117-121},
year = {2017},
month = jun
}
@inproceedings{siala:hal-01103316,
title = {{Formal modelling of domain constraints in Event-B}},
author = {Mohand Oussa{\"i}d, Linda and Ait-Sadoune, Idir},
booktitle = {{7th International Conference on Model and Data Engineering (MEDI 2017)}},
address = {Barcelona, Spain},
series = {Model and Data Engineering},
year = {2017},
month = october
}
@article{DBLP:journals/fgcs/Mery17,
author = {Dominique M{\'{e}}ry},
title = {Playing with state-based models for designing better algorithms},
journal = {Future Generation Comp. Syst.},
volume = {68},
pages = {445--455},
year = {2017},
url = {https://doi.org/10.1016/j.future.2016.04.019},
doi = {10.1016/j.future.2016.04.019},
timestamp = {Sat, 27 May 2017 14:25:03 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/fgcs/Mery17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/GibsonKM17,
author = {J. Paul Gibson and
Souad Kherroubi and
Dominique M{\'{e}}ry},
title = {Applying a Dependency Mechanism for Voting Protocol Models Using Event-B},
booktitle = {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{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
pages = {124--138},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7_9},
doi = {10.1007/978-3-319-60225-7_9},
timestamp = {Tue, 06 Jun 2017 17:27:48 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/forte/GibsonKM17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
This file was generated by bibtex2html 1.98.