Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Dominique Méry »
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.
Dominique Martinez < Dominique Méry < Dominique Poulalhon  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000339 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time constraint patterns for event B development
000375 (2006) Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France]Integration of security policy into system modeling
000383 (2006) Dominique Cansell [France] ; Dominique Méry [France]Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
000428 (2005) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement
000459 (2005) Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France]Refinement and reachability in Event―B
000700 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
000701 (2003) Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]Formal derivation of spanning trees algorithms
000800 (2002) Dominique Cansell [France] ; Dominique Méry [France]Integration of the proof process in the system development through refinement steps
000801 (2002) Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France]Incremental proof of the producer/consumer property for the PCI protocol
000977 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]Predicate diagrams for the verification of reactive systems

List of associated FC03.fr.i

Nombre de
documents		Descripteur
7Spécification formelle
6Méthode raffinement
5Modélisation
4Développement logiciel
3Invariant
3Système réactif
3Système sur puce
3Vérification programme
2Affinement
2Ajustement modèle
2Algorithme réparti
2Architecture basée modèle
2Démonstration théorème
2Logique temporelle
2Ordonnancement
2Système B
2Système complexe
2Système réparti
2Théorie preuve
2Télévision numérique
2Validation
1.
1Abstraction
1Aide preuve
1Approche probabiliste
1Arbre maximal
1Assurance qualité
1Atteignabilité
1Cohérence
1Conception système
1Contrôle accès
1Election leader
1Informatique théorique
1Interprétation abstraite
1Interprêtation abstraite
1Machine abstraite
1Méthode formelle
1Non déterminisme
1Normalisation
1Preuve
1Problème comptage
1Protocole transmission
1Raffinage
1Spécification
1Spécification programme
1Système information
1Système non déterministe
1Sécurité informatique
1Sémantique opérationnelle
1Temps réel
1Traduction automatique
1Vérification
1Vérification formelle
1Vérification modèle

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Dominique Méry" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Dominique Méry" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Dominique Méry
}}
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