PascalFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « PascalFr.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 nutritive < Validation < Validation croisée  Facettes :

List of bibliographic references indexed by Validation

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000E30 (2014) Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France]Versatile, scalable, and accurate simulation of distributed applications and platforms
001E97 (2012) F. Longuetaud [France] ; F. Mothe [France] ; B. Kerautret [France] ; A. Kr Henbühl [France] ; L. Hory [France] ; J. M. Leban [France] ; I. Debled-Rennesson [France]Automatic knot detection and measurements from X-ray CT images of wood: A review and validation of an improved algorithm on softwood samples
002812 (2011) S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France]Efficient and accurate computation of upper bounds of approximation errors
003890 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
003B80 (2009) Jens Gustedt [France] ; Emmanuel Jeannot [France] ; Martin Quinson [France]EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY
005383 (2006) Adrien Coulet [France] ; Malika Smaïl-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing
005615 (2006) Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France]DISCOBOLE : A service architecture for interconnecting workflow processes
006182 (2005) A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
006353 (2005) Dieter Zöbel [Allemagne] ; David Polock [Allemagne]Priority inheritance revisited : Towards the conformance of real-time protocols
006C67 (2004) Marc Eluard [France] ; Thomas Jensen [France]Validation du contrôle d'accès dans des cartes à puce multiapplications
007A27 (2003) Jean-Luc Metzger [France] ; Florence Le Ber [France] ; Amedeo Napoli [France]Modeling and Representing Structures for Analyzing Spatial Organization in Agronomy
007A70 (2003) Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France, Australie]Dynamic Interconnection of Heterogeneous Workflow Processes through Services
007B60 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
009449 (2001) Laurent Kaiser [France] ; Francoise Simonot-Lion [France]An hybrid method for the validation of real-time systems
00AA88 (1999) M. Heisel [Allemagne] ; J. Souquieres [France]De l'élicitation des besoins à la spécification formelle
00BC94 (1997) J. Toussaint [France] ; F. Simonot-Lion [France]Vérification formelle de propriétés temporelles d'une application distribuée temps réel
00BC95 (1997) L. Vega [France] ; Jean-Pierre Thomesse [France]Vers une caractérisation temporelle de profils de communication
00BF30 (1996) Adel Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications
00C135 (1996) Y. Song [France] ; F. Simonot-Lion [France] ; N. Navet [France]Validation of distributed real time systems thanks to performance evaluation of their physical architecture

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/PascalFr.i -k "Validation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.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=    PascalFr.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