Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Keywords » - 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.
Vali-dation < Validation < Validation & verification  Facettes :

List of bibliographic references indexed by Validation

Number of relevant bibliographic references: 34.
[0-20] [0 - 20][0 - 34][20-33][20-40]
Ident.Authors (with country if any)Title
000B23 (2014-06-02) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
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
001F68 (2011-12-06) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Stepwise Validation of Formal Specifications
002022 (2011-11-03) Dominique Méry [France] ; Neeraj Kumar Singh [France]Formal Development and Automatic Code Generation : Cardiac Pacemaker
002522 (2011) Sylvain Chevillard [France] ; John Harrison [États-Unis] ; Mioara Maria Joldes [France] ; Christoph Lauter [États-Unis]Efficient and accurate computation of upper bounds of approximation errors
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
003C67 (2009) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Incorporating Animation in Stepwise Development of Formal Specification
004220 (2008) Marie-Odile Berger [France] ; René Anxionnat ; Erwan Kerrien ; Luc Picard ; Michael SödermanA methodology for validating a 3D imaging modality for brain AVM delineation: application to 3DRA.
005156 (2006-04-03) Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France]Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA
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
007F32 (2002-10-21) Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France]A Specification and Validation Technique Based on STATEMATE and FNLOG

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

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