( en | de | ru )

 

Disambiguation of "Méry, Dominique"

Author of the publication

copydeleteadd this publication to your clipboard
A Refinement Strategy for Hybrid System Design with Safety Constraints.

, and . MEDI, volume 12732 of Lecture Notes in Computer Science, page 3-17. Springer, (2021)

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

Bruno Mery

Mery Kolimon

Josef Meryk

Domingo Mery Quiroz

 

Other publications of authors with the same name

Feature Interactions: A Mixed Semantic Model Approach., , and . IWFM, BCS, (1997)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)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)Analysis of DSR Protocol in Event-B., and . SSS, volume 6976 of Lecture Notes in Computer Science, page 401-415. Springer, (2011)