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 « O. Kone »
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.
O. Galibert < O. Kone < O. Kouchnarenko  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000964 (2000) O. Kone [France] ; R. CastanetTest generation for interworking systems
000A48 (1999) O. Kone [France] ; R. Castanet [France]Méthodes formelles de test de conformité des protocoles

List of associated FC03.fr.i

Nombre de
documents		Descripteur
1Application
1Architecture ordinateur
1Article synthèse
1Automate
1Automatisation
1Bibliographie
1Canonical tester
1Contrôle concurrence
1ISO9646
1ITU-TZ.500
1Implantation
1Ingénierie besoin
1Interopérabilité
1Machine état fini
1Méthode formelle
1Norme ISO
1Objectif test
1Protocole réseau
1Protocole transmission
1Système communication donnée
1Système informatique réparti
1Système informatique tolérant panne
1Sélection évaluation logiciel
1Sélection évaluation(informatique)
1Test conformité

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 "O. Kone" 

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