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 « Cyril Proch »
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.
Cyril Gavoille < Cyril Proch < Cyrille Colin  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
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
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

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2Invariant
2Modélisation
2Ordonnancement
2Système sur puce
2Télévision numérique
1.
1Ajustement modèle
1Architecture basée modèle
1Assurance qualité
1Cohérence
1Démonstration théorème
1Interprétation abstraite
1Machine abstraite
1Méthode formelle
1Méthode raffinement
1Normalisation
1Spécification formelle
1Spécification programme
1Sémantique opérationnelle
1Temps réel
1Traduction automatique
1Validation

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 "Cyril Proch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Cyril Proch" \
         | 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é=    Cyril Proch
}}
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