Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 - event B - case study  Facettes :

List of bibliographic references indexed by Refinement

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]
Ident.Authors (with country if any)Title
000028 (2016-05-14) Dominique Mery [France]Playing with State-Based Models for Designing Better Algorithms
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000861 (2014-12) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Formal Evaluation of Landing Gear System
000B23 (2014-06-02) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
001572 (2013) Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Ideal Mode Selection of a Cardiac Pacing System
001C85 (2012) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
002067 (2011-10-10) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analysis of DSR Protocol in Event-B
002162 (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
002165 (2011-08-29) Dominique Méry [France] ; Neeraj Kumar Singh [France]Medical Protocol Diagnosis using Formal Methods
002167 (2011-08-29) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata
002835 (2011) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
003890 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
003C55 (2009) Dominique Méry [France] ; Neeraj Kumar Singh [France]Pacemaker's Functional Behaviors in Event-B
004096 (2008-02-01) Dominique Cansell [France] ; Dominique Méry [France]The Event-B Modelling Method - Concepts and Case Studies
004372 (2008) Boulbaba Ben Ammar [France, Tunisie] ; Mohamed Tahar Bhiri [Tunisie, France] ; Jeanine Souquières [France]Incremental development of UML specifications using operation refinements
004519 (2008) Fred Kröger [Allemagne] ; Stephan Merz [France]Temporal Logic and State Systems
004799 (2007-07-22) Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France]A Formal Approach for the Development of Automated Systems
005156 (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
005589 (2006) Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]Specification and refinement of mobile systems in MTLA and mobile UML
005604 (2006) Dominique Cansell [France] ; Dominique Méry [France]Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Refinement" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Refinement" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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