3532 articles – 5253 references  [version française]
.:. Browse > List by authors > Méry .:.
110 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
Formal Specification of Medical Systems by Proof-Based Refinement
Méry D., Singh N. K.
ACM Transactions in Embedded Computing Systems (TECS) (2012) [inria-00637756 - version 1]
Formal Development and Automatic Code Generation : Cardiac Pacemaker
Méry D., Singh N. K.
Dans International Conference on Computers and Advanced Technology in Education (ICCATE, 2011) (2011) [inria-00638486 - version 1]
fulltext access Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation
Méry D., Fass D.
Dans La Dame d'Antinoé : une "momie" au Château de Lunéville, Presse universitaire de Nancy (Ed.) (2011) 132 [hal-00744242 - version 1]
Proving Distributed Algorithms by Combining Refinement and Local Computations
Tounsi M., Mosbah M., Méry D.
Electronic Communications of the EASST 35 (2011) ISSN 1863-2122 [hal-00644187 - version 1]
Automatic Code Generation from Event-B Models
Méry D., Singh N. K.
Dans SoICT 2011 (2011) [inria-00637765 - version 1]
Analysis of DSR Protocol in Event-B
Méry D., Singh N. K.
Dans 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011) 6976 (2011) 401-415 [inria-00637768 - version 1]
A generic framework: from modeling to code
Méry D., Singh N. K.
Innovations in Systems and Software Engineering (ISSE) (2011) 1-9 [inria-00637761 - version 1]
EB2J : Code Generation from Event-B to Java
Méry D., Singh N. K.
Dans SBMF - Brazilian Symposium on Formal Methods (2011) [inria-00638467 - version 1]
fulltext access Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata
Méry D., Singh N. K.
(2011) [inria-00600339 - version 1]
Medical Protocol Diagnosis using Formal Methods
Méry D., Singh N. K.
Dans International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011) (2011) [inria-00638478 - version 1]