Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Auteurs » - entrée « Ousmane Koné »
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.
Ousmane Kone < Ousmane Koné < Oussama Rekhis  Facettes :

List of bibliographic references indexed by Ousmane Koné

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
009C37 (2000) Ousmane Koné ; Richard CastanetTest generation for interworking systems
00A113 (2000) Laurent Kaiser [France] ; Françoise Simonot-Lion [France] ; Ousmane Koné [France]Verification method of interoperability for real time systems
00A421 (1999) Ousmane Koné ; Richard CastanetMéthodes formelles de test de conformité des protocoles
00B118 (1998) Ousmane Koné ; Richard Castanet ; Patrice LaurencotOn the fly test generation for real time protocols
00B207 (1998) Ousmane Koné ; Richard CastanetTest Design From System Level Specification
00B565 (1998) Ousmane Koné [France] ; Richard Castanet [France]Test Design From System Level Specification
00B610 (1998) Ousmane Koné [France] ; Richard Castanet [France] ; Patrice Laurencot [France]On the fly test generation for real time protocols
00B756 (1997) Laurent Kaiser ; Ousmane KonéUne méthode de vérification d'interopérabilité temporelle
00B788 (1997) Ousmane Koné ; Richard Castanet ; Patrice LaurençotGénération de Séquences de test temporisé
00B860 (1997) Ousmane KonéTests and Tools for Interoperability
00B867 (1997) Ousmane KonéTest de Conformité de Protocoles - Formalisation et Techniques
00BD88 (1996) Ousmane KonéLe test de conformité en ingénierie des protocoles
00BD89 (1996) Ousmane KonéGénération de suites fines de test avec contraintes de temps physique

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/Author.i -k "Ousmane Koné" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Ousmane Koné" \
         | 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=    Author.i
   |clé=    Ousmane Koné
}}
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