Ndeye Coumba Ndiaye < Neeraj Kumar Singh < Nefzi Bilel

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 33.
[0-20] [0 - 20][0 - 33][20-32][20-40]

Ident.	Authors (with country if any)	Title
000694 (2011-09-29)	Dominique Méry ; Neeraj Kumar Singh	A generic framework: from modeling to code
000E42 (2011-10-10)	Dominique Méry ; Neeraj Kumar Singh	Analysis of DSR Protocol in Event-B
000E55 (2014-06-02)	Manamiary Bruno Andriamiarina ; Dominique Méry ; Neeraj Kumar Singh	Analysis of Self-* and P2P Systems using Refinement
000E56 (2014)	Manamiary Bruno Andriamiarina ; Dominique Méry ; Neeraj Kumar Singh	Analysis of Self-* and P2P Systems using Refinement (Full Report)
000E81 (2015-08-02)	Dominique Méry ; Neeraj Kumar Singh	Analyzing Requirements Using Environment Modelling
001099 (2011-10-13)	Dominique Méry ; Neeraj Kumar Singh	Automatic Code Generation from Event-B Models
001994 (2012-08-23)	Dominique Méry ; Neeraj Kumar Singh	Critical systems development methodology using formal techniques
001E03 (2010-09-13)	Dominique Méry ; Neeraj Kumar Singh	EB2C : A Tool for Event-B to C Conversion Support
001E04 (2011-09-26)	Dominique Méry ; Neeraj Kumar Singh	EB2J : Code Generation from Event-B to Java
002060 (2014-07-22)	Neeraj Kumar Singh ; Dominique Méry	Event B (english version)
002368 (2011-11-03)	Dominique Méry ; Neeraj Kumar Singh	Formal Development and Automatic Code Generation : Cardiac Pacemaker
002371 (2014-12)	Dominique Méry ; Neeraj Kumar Singh	Formal Evaluation of Landing Gear System
002382 (2013-01)	Dominique Méry ; Neeraj Kumar Singh	Formal Specification of Medical Systems by Proof-Based Refinement
002410 (2011-08-29)	Dominique Méry ; Neeraj Kumar Singh	Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata
002412 (2012)	Dominique Méry ; Neeraj Kumar Singh	Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
002516 (2010-12-31)	Dominique Méry ; Neeraj Kumar Singh	Functional Behavior of a Cardiac Pacing System
002913 (2013-07-21)	Dominique Méry ; Neeraj Kumar Singh	Ideal Mode Selection of a Cardiac Pacing System
002A66 (2015-12-18)	Manamiary Bruno Andriamiarina ; Dominique Méry ; Neeraj Kumar Singh	Incremental Proof-Based Development for Resilient Distributed Systems
002B53 (2013-06-10)	Manamiary Bruno Andriamiarina ; Dominique Méry ; Neeraj Kumar Singh	Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
003148 (2011-08-29)	Dominique Méry ; Neeraj Kumar Singh	Medical Protocol Diagnosis using Formal Methods
003281 (2014-06-02)	Dominique Méry ; Neeraj Kumar Singh	Modeling an Aircraft Landing System in Event-B

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Neeraj Kumar Singh" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Neeraj Kumar Singh" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Neeraj Kumar Singh
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022