Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - entrée « formal method »
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.
formal languages < formal method < formal methods  Facettes :

List of bibliographic references indexed by formal method

Number of relevant bibliographic references: 30.
[0-20] [0 - 20][0 - 30][20-29][20-40]
Ident.Authors (with country if any)Title
000180 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
000312 (2015-09-26) Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France]Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
002494 (2011) Tony Bourdier [France]Tree automata based semantics of firewalls
002C87 (2010-05-28) Nazim Benaissa [France]Security protocols composition using Event B
002E30 (2010-02-01) Dominique Méry [France] ; Neeraj Kumar Singh [France]Technical Report on Formal Development of Two-Electrode Cardiac Pacing System
003426 (2009-09) Dominique Méry [France]Refinement-Based Guidelines for Algorithmic Systems
003D98 (2008-10-16) Joris Rehm [France]A Duration Pattern for Event-B Method
004002 (2008-05-25) Joris Rehm [France]From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking
004975 (2007-03-24) Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France]Trustworthy interface compliancy: data model adaptation using B refinement
005026 (2006-09) Joris Rehm [France]A method to refine time constraints in event B framework
005798 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Checking Consistency of UML state and sequence diagrams using B
005824 (2006) Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]A Method for Component-Based Software and System Development
006852 (2004) Dominique Cansell [France] ; Jean-François Culat ; Dominique Méry [France] ; Cyril ProchDerivation of SystemC code from abstract system models
007396 (2003) Dominique Cansell [France]Assistance au développement incrémental et à sa preuve
007874 (2003) Dominique Cansell [France] ; Dominique MéryFoundations of the B method
008282 (2002) Yves Bertot ; Nicolas Magaud ; Paul ZimmermannA proof of GMP square root using the Coq assistant
008C86 (2001-06) Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Mery [France]Utilisation de B pour l'aide à la spécification d'un système de diagnostic
009912 (2000) Leila Jemni Ben AyedUne approche formelle pour la spécification et la vérification des systèmes temps-réel
009956 (2000) Dominique Cansell [France] ; Dominique Méry [France]Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
009A39 (2000) Paul Gibson ; Geoff Hamilton ; Dominique Méry [France]A taxonomy for triggered interactions using fair object semantics
00A162 (2000) Dominique Cansell [France] ; Dominique Méry [France]Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem

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 "formal method" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "formal method" \
         | 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é=    formal method
}}
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