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
000738 (2004)	Vincent Debruyne ; Françoise Simonot-Lion ; Yvon Trinquet	EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
000739 (2004)	Vincent Debruyne ; Françoise Simonot-Lion ; Yvon Trinquet	EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
000869 (2003)	Françoise Simonot-Lion	AIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile
000956 (2003)	Ninh Thuan Truong ; Jeanine Souquières	Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
000C36 (2003)	Françoise Simonot-Lion	In car embedded electronic architectures : how to ensure their safety
000C94 (2003)	Alice Halter ; Gerardo Satriano ; Françoise Simonot-Lion ; Jens Hermann ; Mikael Nolin	Verification and Validation techniques used by EAST partners
000D77 (2003)	Issam Chebbi	Aide à la preuve et à la validation en programmation par règles
000E05 (2003)	Dominique Cansell [France] ; Dominique Méry	Foundations of the B method
000E30 (2002)	Dominique Cansell [France] ; Dominique Méry [France]	Développement de fonctions définies récursivement en B : Application du B événementiel
000F12 (2002)	Laurent Kaiser ; Françoise Simonot-Lion	D'un formalisme à l'autre : entre TIOSM et SDL
001099 (2002)	Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG
001117 (2002)	Xavier Rebeuf ; Gerardo Satriano ; Françoise Simonot-Lion	A Distributed Algorithm for the Validation of Timed State Machines
001174 (2002)	Ye Qiong Song	Real-time communications in distributed control systems
001180 (2002)	Orazio Gurrieri ; Xavier Rebeuf ; Françoise Simonot-Lion	Function Block Temporal Behaviour Modelling
001184 (2002)	Françoise Simonot-Lion	Validation of Real Time Applications
001423 (2001)	Airy Weinzoepflen	Développement Incrémental Prouvé de Systèmes
001445 (2001)	Françoise Simonot-Lion	AEE : un projet pour la conception des logiciels embarqués dans l'automobile
001641 (2001)	Andre-Marie Masson ; Martine Cadot ; A. M. Peirera ; E. Depreeuw ; M. Ansseau	Version francophone du TASTE (Test for Ability to Study and Evaluation)
001755 (2001)	Laurent Kaiser ; Françoise Simonot-Lion	An Hybrid Method for the Validation of Real-Time Systems
001797 (2000)	Marie-Christine Haton	Report about the user experience with ISAEUS
001975 (2000)	Françoise Simonot-Lion ; Yeqiong Song	In-vehicle embedded computer control systems

---

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/KwdEn.i -k "validation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "validation" \
         | 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=    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