3532 articles – 5253 Notices  [english version]
.:. Consultation > Liste par auteurs > Singh .:.
17 documents classés par :
Première Page Page Précédente 1 - 2
fulltext access Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
Méry D., Singh N. K.
(2011) [inria-00584177 - version 1]
Functional Behavior of a Cardiac Pacing System
Méry D., Singh N. K.
International Journal of Discrete Event Control Systems (IJDECS) (2010) [inria-00540007 - version 1]
fulltext access Real-Time Animation for Formal Specification
Méry D., Singh N. K.
Dans Complex Systems Design & Management 2010 (2010) 49-60 [inria-00540005 - version 1]
Trustable Formal Specification for Software Certification
Méry D., Singh N. K.
In 4th International Symposium On Leveraging Applications of Formal Methods - ISOLA 2010 6416 (2010) 312-326 [inria-00540008 - version 1]
fulltext access EB2C : A Tool for Event-B to C Conversion Support
Méry D., Singh N. K.
Poster and Tool Demo submission, and published in a CNR Technical Report. (2010) [inria-00540006 - version 1]
fulltext access Technical Report on Formal Development of Two-Electrode Cardiac Pacing System
Méry D., Singh N. K.
(2010) [inria-00465061 - version 2]
fulltext access Pacemaker's Functional Behaviors in Event-B
Méry D., Singh N. K.
(2009) [inria-00419973 - version 2]