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.
[ bib |
Keywords: Synchronization algorithm; Probabilistic distributed algorithm; Formal methods; Event-B; Visidia
Dominique Méry and Neeraj Kumar Singh.
Technical Report on Interpretation of the Electrocardiogram (ECG)
Signal using Formal Methods.
Rapport technique, 2011.
[ bib |
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.