KwdFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « KwdFr.i » - entrée « validation »
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.
valeur. < validation < validation de données articulatoires  Facettes :

List of bibliographic references indexed by validation

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]
Ident.Authors (with country if any)Title
001F77 (2011-12) Dominique Méry [France] ; Didier Fass [France]Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation
004746 (2007-09-01) Jeanine Souquières [France]Approches formelles pour le développement de logiciels
005134 (2006-05-05) Ninh Thuan Truong [France]Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
005223 (2006-01-01) Jacques Julliand [France] ; Jeanine Souquières [France]Approches formelles pour le développement de logiciels
007299 (2003) André Masson ; Martine Cadot [France] ; M. AnsseauPerfectionnisme : effets du sexe et de l'échec
007D16 (2003) Issam Chebbi [France]Aide à la preuve et à la validation en programmation par règles
007D18 (2003) Françoise Simonot-Lion [France]AIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile
007E08 (2003) Françoise Simonot-Lion [France]In car embedded electronic architectures: how to ensure their safety
007E22 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
007E71 (2003) Ulrich Freund ; Orazio Gurrieri [France] ; Jochen Küster ; Henrik Lonn ; Jörn Migge ; Mark-Oliver Reiser ; Thomas Wierczoch ; Matthias WeberAn Architecture Description Language for developing Automotive ECU-Software
008081 (2002-03) Laurent Kaiser [France] ; Françoise Simonot-Lion [France]D'un formalisme à l'autre : entre TIOSM et SDL
008C12 (2002) Xavier Rebeuf [France] ; Gerardo Satriano ; Françoise Simonot-Lion [France]A Distributed Algorithm for the Validation of Timed State Machines
009164 (2001) Nicolas Navet [France] ; Ye-Qiong Song [France]Validation of in-vehicle real-time applications
009492 (2001) Dominique Cansell [France] ; Dominique Méry [France] ; Airy Weinzoepflen [France]Modélisation et analyse de la documentation technique d'un système
009507 (2001) Hacène Cherfi [France] ; Yannick Toussaint [France]Extraction et interprétation de règles d'association pour la fouille de textes
009528 (2001) Françoise Simonot-Lion [France]AEE : un projet pour la conception des logiciels embarqués dans l'automobile
00A164 (2000) Paolo Castelpietra [France] ; Ye-Qiong Song [France] ; Françoise Simonot-Lion [France] ; O. CayrolPerformance Evaluation of a multiple Networked in-vehicle Embedded Architecture
00A208 (2000) Françoise Simonot-Lion [France] ; Ye-Qiong Song [France]In-vehicle embedded computer control systems
00A290 (2000) Mondher Attia [France] ; Olivier Cayrol [France] ; Alexis Drogoul [France] ; Rémy Foisel [France] ; Françoise Simonot-Lion [France]A process to design and master the global vehicle electronic system architecture
00AA88 (1999) M. Heisel [Allemagne] ; J. Souquieres [France]De l'élicitation des besoins à la spécification formelle
00AB06 (1999) Ahmed Jebali [France]Vérification Observationnelle

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

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