Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Auteurs » - entrée « Y. Benkhellat »
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.
Y. Bellion < Y. Benkhellat < Y. Benoit  Facettes :

List of bibliographic references indexed by Y. Benkhellat

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]
Ident.Authors (with country if any)Title
00C324 (1995) Y. Benkhellat ; Jean-Pierre Thomesse [France]Validation of Timing Properties for Interoperability in Distributed Real Time Applications
00C863 (1994) Y. Benkhellat ; Jean-Pierre Thomesse [France]Les problèmes de coopération dans les systèmes informatiques distribués et les méthodes formelles
00C871 (1994) Y. BenkhellatOssature du travail fourni en interopérabilité
00C876 (1994) Y. BenkhellatTest de conformité et génération des séquences de test
00C912 (1994) Y. BenkhellatSpécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques
00C934 (1994) Y. Benkhellat ; Jean-Pierre Thomesse [France] ; F. GallonCompte rendu de la réunion de travail sur l'interopérabilité
00C941 (1994) M. Siebert ; Y. Benkhellat ; Jean-Pierre Thomesse [France]Kriterien für Interoperabilität
00CA25 (1994) Y. Benkhellat ; Jean-Pierre Thomesse [France]L'interopérabilité et sa validation dans les réseaux et les protocoles de communication
00CA42 (1994) Jean-Pierre Thomesse [France] ; M. Siebert ; Y. BenkhellatConformité, Interopérabilité, Interfonctionnement, Interchangeabilité
00CA86 (1994) Y. Benkhellat ; Jean-Pierre Thomesse [France]Temporal Interoperability in Distributed Real Time Applications
00CB00 (1994) Y. Benkhellat ; Jean-Pierre Thomesse [France]Interoperability in Distributed Applications
00CB01 (1994) Y. Benkhellat ; Jean-Pierre Thomesse [France]Interoperability in Distributed Applications
00CB02 (1994) Y. BenkhellatInteroperability Testing and Verification for Distributed Real-Time Systems
00CB07 (1994) Y. BenkhellatVérification de l'interopérabilité
00CB44 (1994) Y. BenkhellatDéfinition de la relation iop dans le formalisme LTS
00CB69 (1994) Y. BenkhellatMise en oeuvre en Prolog de la formalisation de l'IOP : un outil d'aide à la vérification de l'IOP
00CE31 (1993) Y. Benkhellat ; Jean-Pierre Thomesse [France]Vérification de l'interopérabilité. Une approche théorique
00CE45 (1993) Y. BenkhellatCompte-rendu de la réunion de travail sur l'interopérabilité du 17 Février 1993 à l'ENSEM
00CE90 (1993) Y. BenkhellatFormalisation de l'IOP et mise en oeuvre en EVAL et en PROLOG
00CF04 (1993) Y. Benkhellat ; M. Siebert ; Jean-Pierre Thomesse [France]Sensors and Distributed Systems Interoperability Criteria
00D012 (1993) Y. Benkhellat ; Jean-Pierre Thomesse [France]Rapport technique interne II sur la vérification de l'interopérabilité d'équipements conformes à la norme FIP

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 "Y. Benkhellat" 

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