3532 articles – 5253 references  [version française]
.:. Browse > List by authors > Méry .:.
110 documents ordered by :
First Previous 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access AA4MM coordination model and event-B specification
Siebert J., Rehm J., Chevrier V., Ciarletta L., Méry D.
N° RR-7081 (2009) [inria-00435569 - version 3]
fulltext access Pacemaker's Functional Behaviors in Event-B
Méry D., Singh N. K.
(2009) [inria-00419973 - version 2]
fulltext access Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2)
Cansell D., Méry D., Rehm J.
(2008) [inria-00593372 - version 1]
The Event-B Modelling Method - Concepts and Case Studies
Cansell D., Méry D.
Dans Logics of Specification Languages, Springer (Ed.) (2008) 33-140 [inria-00579550 - version 1]
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Cansell D., Gibson P., Méry D.
Electronic Notes in Theoretical Computer Science 183 (2008) 39-55 [inria-00594892 - version 1]
fulltext access Teaching programming methodology using Event B
Méry D.
Dans The B Method: from Research to Teaching (2008) [inria-00287231 - version 2]
fulltext access Développement incrémental prouvé de systèmes répartis : le cas Mondex
Benaissa N., Méry D.
(2008) [inria-00336655 - version 1]
Incremental Parametric Development of Greedy Algorithms
Cansell D., Méry D.
Electronic Notes in Theoretical Computer Science 185 (2007) 47-62 [inria-00594883 - version 1]
fulltext access Time Constraint Patterns for Event B Development
Cansell D., Méry D., Rehm J.
Dans 7th International Conference of B Users, January 17-19, 2007 4355 (2007) 140-154 [hal-00149163 - version 1]
fulltext access Formal verification of tamper-evident storage for e-voting
Cansell D., Gibson P., Méry D.
Dans 5th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2007 (2007) 329-338 [inria-00184833 - version 1]