Event < Event B < Event B method | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
000963 (2014-07-22) | Neeraj Kumar Singh [Canada] ; Dominique Méry [France] | Event B (english version) |
001954 (2012) | Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata |
002005 (2011) | Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods |
002496 (2010-06-16) | Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
002548 (2010-05-28) | Nazim Benaissa [France] | Security protocols composition using Event B |
002697 (2010-02-01) | Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formal Development of Two-Electrode Cardiac Pacing System |
003428 (2008-02-01) | Dominique Cansell [France] ; Dominique Méry [France] | The Event-B Modelling Method - Concepts and Case Studies |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i -k "Event B"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i \ -Sk "Event B" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Hal |étape= Checkpoint |type= indexItem |index= KwdEn.i |clé= Event B }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |