Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Dominique Méry
Dominique Méry
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Pharmacy
Edit
Merge
See Links
Directed Thesis:
Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B
Développement d'algorithmes répartis corrects par construction
Fiabilité et sûreté des systèmes informatiques critiques
La composition des protocoles de sécurité avec la méthode B événementielle
Assistance au développement incrémental et prouvé de systèmes enfouis
Utilisation des méthodes formelles pour le développement de programmes parallèles
Dénombrement et identification des entérobactéries dans les aliments : comparaison de 2 techniques
Traçabilité informatique des dispositifs médicaux implantables : création du logiciel "VIGIPHARM R version dispositifs médicaux"
Evaluation du coût de l'antibiothérapie des infections nosocomiales en réanimation : utilisation du logiciel antibioplus dans le Groupe hospitalier Lariboisière-Fernand Widal- St Lazare
Étude de la sémantique de programmes parallèles réels en TLA
Vérification et mise en œuvre distribuée des programmes unity
Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle : application au langage SDL
Specification, verification et raffinement de reseaux de processus communicants