Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Bruno Mermet »
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.
Bruno Mathieu < Bruno Mermet < Bruno Raffin  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
002094 (1998) Bruno Mermet ; Dominique Méry [France] ; Dmitri SamborskiSpécification de services : une approche avec B
002270 (1998) Bruno MermetQualité de service dans une logique temporelle compositionnelle
002350 (1998) Bruno Mermet ; Dominique Méry [France]Service specifications to B, or not to B
002541 (1997) Pierre Berlioux ; Didier Bert ; Michel Charpentier ; Bernard Coulette ; Xavier Crégut ; Lydie Du Bousquet ; Mamoun Filali ; Paul Jacquet ; Jacques Jaray ; Yves Ledru ; Nicole Levy ; Philippe Mauran ; Pierre Maurice ; Bruno Mermet ; Farid Ouabdesselam ; Gérard Padiou ; Marie-Laure Potet ; Philippe Quéinnec ; Songsakdi Rongviriyapanish ; Jeanine SouquièresFormalisation du Développement de Logiciels : un banc d'essai des méthodes formelles
002572 (1997) Bruno Mermet ; Dominique Méry [France]Détection d'interactions de services : une approche avec B
002587 (1997) Bruno Mermet ; Dominique Méry [France]Spécification de services et gestion des interactions
002676 (1997) Bruno Mermet ; Dominique Méry [France]Incremental Specification of Telecommunication Services
002781 (1997) Jean-Paul Gibson ; Bruno Mermet ; Dominique Méry [France]Feature Interactions : a Mixed Semantic Model Approach
002797 (1997) Bruno Mermet ; Dominique Méry [France]Safe combinations of services using B
002941 (1996) Bruno MermetB Mode Manual

List of associated KwdEn.i

Nombre de
documents		Descripteur
4B method
4formal method
4specification
3B
3services
2feature interaction
2features interaction
2service specification
2telecommunications
1B Method
1B Method
1Features interactions
1Formal Methods
1Formal method
1Interaction detection
1LOTOS
1Proofs
1Services
1Software Development
1Specification
1TLA
1animation
1atelier B
1composition of specifications
1compositionality
1detection
1emacs
1formal specification
1formal methods
1formal specification
1intelligent network
1interaction
1invariance
1invariant
1proof
1quality
1service
1telecommunication services
1theorem prover

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Bruno Mermet" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Bruno Mermet" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

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