Y. Belhamissi < Y. Benkhellat < Y. Benoit

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]

Ident.	Authors (with country if any)	Title
002B36 (1995)	Y. Benkhellat ; Jean-Pierre Thomesse [France]	Validation of Timing Properties for Interoperability in Distributed Real Time Applications
002E33 (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
002E41 (1994)	Y. Benkhellat	Ossature du travail fourni en interopérabilité
002E46 (1994)	Y. Benkhellat	Test de conformité et génération des séquences de test
002E82 (1994)	Y. Benkhellat	Spécification et vérification de l'interopérabilité temporelle par la technique de spécification des circuits systoliques
002F04 (1994)	Y. Benkhellat ; Jean-Pierre Thomesse [France] ; F. Gallon	Compte rendu de la réunion de travail sur l'interopérabilité
002F10 (1994)	M. Siebert ; Y. Benkhellat ; Jean-Pierre Thomesse [France]	Kriterien für Interoperabilität
002F94 (1994)	Y. Benkhellat ; Jean-Pierre Thomesse [France]	L'interopérabilité et sa validation dans les réseaux et les protocoles de communication
003011 (1994)	Jean-Pierre Thomesse [France] ; M. Siebert ; Y. Benkhellat	Conformité, Interopérabilité, Interfonctionnement, Interchangeabilité
003055 (1994)	Y. Benkhellat ; Jean-Pierre Thomesse [France]	Temporal Interoperability in Distributed Real Time Applications
003069 (1994)	Y. Benkhellat ; Jean-Pierre Thomesse [France]	Interoperability in Distributed Applications
003070 (1994)	Y. Benkhellat ; Jean-Pierre Thomesse [France]	Interoperability in Distributed Applications
003071 (1994)	Y. Benkhellat	Interoperability Testing and Verification for Distributed Real-Time Systems
003076 (1994)	Y. Benkhellat	Vérification de l'interopérabilité
003113 (1994)	Y. Benkhellat	Définition de la relation iop dans le formalisme LTS
003138 (1994)	Y. Benkhellat	Mise en oeuvre en Prolog de la formalisation de l'IOP : un outil d'aide à la vérification de l'IOP
003231 (1993)	Y. Benkhellat ; Jean-Pierre Thomesse [France]	Vérification de l'interopérabilité. Une approche théorique
003245 (1993)	Y. Benkhellat	Compte-rendu de la réunion de travail sur l'interopérabilité du 17 Février 1993 à l'ENSEM
003290 (1993)	Y. Benkhellat	Formalisation de l'IOP et mise en oeuvre en EVAL et en PROLOG
003304 (1993)	Y. Benkhellat ; M. Siebert ; Jean-Pierre Thomesse [France]	Sensors and Distributed Systems Interoperability Criteria
003412 (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

---

List of associated KwdEn.i

Nombre de documents	Descripteur
9	interoperability
8	conformance testing
8	interoperability verification
4	validation
3	FIP
3	fip
3	interoperability testing
2	FIP fieldbus
2	sensors
2	systolic circuit
2	test methods
2	verification
1	MAP
1	PICS
1	Prolog-based implementation
1	Real-time
1	Verification
1	a demander
1	aa
1	c46-603
1	communication in plants and factories
1	conformance
1	conformance test methods
1	conformite
1	conformity
1	couche application
1	couche liaison de fip
1	distributed application
1	feature and service interactiiion problems
1	formal description
1	formalism LTS
1	industrial local area network
1	interoperabilite
1	interoperability criteria
1	interoperability definitions
1	interworking
1	is09646
1	labelled transitions conformance/interoperability testing
1	lotos
1	profibus
1	protocol
1	prove
1	real-time
1	relation may
1	relation must
1	resource
1	sensor
1	service
1	set theorie based formalisation
1	specification and validation
1	state of the art in interoperability
1	temporal interoperability
1	test sequence generation
1	timeliness
1	validation and testing

---

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

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

---

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