Publications 2011

[1] Dominique Méry, Mohamed Mosbah, and Mohamed Tounsi. Refinement-based Verification of Local Synchronization Algorithms. In 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Lecture Notes in Computer Science, page à paraître, Limerick, Irlande, June 2011. Springer. [ bib | http ]
Keywords: Synchronization algorithm; Probabilistic distributed algorithm; Formal methods; Event-B; Visidia
[2] Dominique Méry and Neeraj Kumar Singh. Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods. Rapport technique, 2011. [ bib | http ]
Keywords: Electrocardiogram (ECG), Heart, Medical protocol, Abstract model, Event B, Event-driven approach, Proof-based development, Refinement.

This file has been generated by bibtex2html 1.87.

Last modified: Sat May 28 09:48:43 CEST 2011