Keywords
Checkpoint
Hal
Racine
Checkpoint
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Hal)

Index « Keywords » - entrée « Refinement »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Referring modes < Refinement < Refinement modal logic  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000028 (2016-05-14) Dominique Mery [France]Playing with State-Based Models for Designing Better Algorithms
000152 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000247 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000793 (2014-12) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Formal Evaluation of Landing Gear System
000A62 (2014-06-02) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
001005 (2013-07-21) Dominique Méry [France] ; Neeraj Kumar Singh [France]Ideal Mode Selection of a Cardiac Pacing System
001954 (2012) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
001B19 (2011-10-10) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analysis of DSR Protocol in Event-B
001C21 (2011-08-30) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata
001C24 (2011-08-29) Dominique Méry [France] ; Neeraj Kumar Singh [France]Medical Protocol Diagnosis using Formal Methods
001C26 (2011-08-29) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formalisation of the Heart based on 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
002D37 (2009-03-24) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
002F10 (2009) Dominique Méry [France] ; Neeraj Kumar Singh [France]Pacemaker's Functional Behaviors in Event-B
003428 (2008-02-01) Dominique Cansell [France] ; Dominique Méry [France]The Event-B Modelling Method - Concepts and Case Studies
003537 (2008) Fred Kröger [Allemagne] ; Stephan Merz [France]Temporal Logic and State Systems
003935 (2007-07-22) Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France]A Formal Approach for the Development of Automated Systems
004094 (2006-04-03) Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France]Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA
004848 (2005) Dominique Cansell [France] ; Dominique Méry [France]The invoice case study modelling in Event B

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 "Refinement" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i  \
                -Sk "Refinement" \
         | 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é=    Refinement
}}
Wicri

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