( en | de | ru )

 

Disambiguation of "Méry, Dominique"

Author of the publication

copydeleteadd this publication to your clipboard
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.

, , and . FORTE, volume 10321 of Lecture Notes in Computer Science, page 124-138. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoann Méry

Mery Kolimon

Bruno Mery

Josef Meryk

Domingo Mery Quiroz

 

Other publications of authors with the same name

Service specifications: to B, or not to B., and . FMSP, page 62-69. ACM, (1998)Formal Derivation of Spanning Trees Algorithms., , and . ZB, volume 2651 of Lecture Notes in Computer Science, page 457-476. Springer, (2003)Playing with State-Based Models for Designing Better Algorithms.. MEDI, volume 8748 of Lecture Notes in Computer Science, page 1-3. Springer, (2014)Integration Problems in Telephone Feature Requirements., , and . IFM, page 129-148. Springer, (1999)Workshop on Formal Methods for Parallel Programming (FMPPTA 2000)., and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 974-976. Springer, (2000)Feature Interactions: A Mixed Semantic Model Approach., , and . IWFM, BCS, (1997)Refinement-Based Guidelines for Algorithmic Systems.. Int. J. Softw. Informatics, 3 (2-3): 197-239 (2009)Formal evaluation of landing gear system., and . SoICT, page 75-84. ACM, (2014)Automatic code generation from event-B models., and . SoICT, page 179-188. ACM, (2011)Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata., and . FHIES, volume 7151 of Lecture Notes in Computer Science, page 140-159. Springer, (2011)