valeur < validation < validation and testing

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 59.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000520 (1987)	J. Lonchamp	Conception des applications informatiques réparties en commande de procédés industriels : une démarche, des outils
000655 (1988)	J.-P. Finance ; N. Lévy ; J. Souquières ; A. Valdenaire	SACSO : un environnement d'aide à la spécification
000697 (1988)	J. Tankoano	M2C : une approche méthodique pour la conception certifiée des systèmes de commande des automatismes industriels répartis
001424 (1994)	Y. Benkhellat ; J.-P. Thomesse	Interoperability in Distributed Applications
001425 (1994)	Y. Benkhellat	Ossature du travail fourni en interopérabilité
001458 (1994)	Y. Benkhellat ; J.-P. Thomesse	Interoperability in Distributed Applications
001723 (1995)	C. Cardeira ; F. Simonot-Lion ; M. Bayart	aIntelligent Field Devices and Field Buses : Impact on Applications Design Methodology
001740 (1995)	Y. Benkhellat ; J.-P. Thomesse	Validation of Timing Properties for Interoperability in Distributed Real Time Applications
001744 (1995)	C. Cardeira ; F. Simonot-Lion ; M. Bayart	Intelligent Field Devices and Field Buses : Impact on Applications Design Methodology
001870 (1995)	M. Benkhellat ; J.-P. Thomesse	Interopérabilité et interfonctionnement
001937 (1995)	F. Simonot-Lion ; J.-P. Thomesse ; M. Bayart ; M. Staroswiecki	Dependable Distributed Computer Control Systems : Analysis of the Design Step Activities
001A31 (1995)	F. Simonot-Lion	Concevoir un système d'automatisation
001C73 (1996)	Françoise Simonot-Lion ; Mireille Bayart	Le processus de développement des systèmes automatisés distribués : analyse de l'étape de conception
001E37 (1997)	Nicolas Navet ; Ye-Qiong Song	Validation d'Applications Distribuées autour du Réseau CAN (Atelier)
001E63 (1997)	Françoise Simonot-Lion	Les architectures de systèmes automatisés
001E69 (1997)	Ye-Qiong Song ; Françoise Simonot-Lion ; Pierre Bélissent	Validation des applications temps réel distribuées autour du réseau CAN à l'aide de l'évaluation de performances
001E79 (1997)	Jean-Pierre Thomesse ; Jean-Pierre Elloy	Ecole d'Eté Temps Réel 97 : Application, Réseaux et Systèmes
001E80 (1997)	Joël Toussaint ; Françoise Simonot-Lion	Vérification formelle de propriétés temporelles d'une application distribuée temps réel
001E81 (1997)	Joël Toussaint ; Luis Vega	Modèles pour l'Expression et la Vérification de Propriétés Temporelles dans la Communication
001F63 (1997)	A. Laurent ; Jean-François Aubry ; J. P. Corriou ; Françoise Simonot-Lion	Projet Fédérateur de recherche "Sûreté Industrielle des Systèmes". Rapport d'activité 1997
002015 (1997)	Olivier Festor	Spécification, validation et réalisation de l'intégration en gestion de réseaux et services

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "validation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "validation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    validation
}}

---

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