FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.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

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
000005 (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
000110 (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
000134 (2011) S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France]Efficient and accurate computation of upper bounds of approximation errors
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000244 (2009) Jens Gustedt [France] ; Emmanuel Jeannot [France] ; Martin Quinson [France]EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY
000345 (2006) Adrien Coulet [France] ; Malika Smail-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Suggested Ontology for Pharmacogenomics (SO-Pharm) : Modular Construction and Preliminary Testing
000399 (2006) Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France]DISCOBOLE : A service architecture for interconnecting workflow processes
000451 (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. Heam [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. Vigano [Suisse] ; L. Vigneron [France]The AVISPA tool for the automated validation of internet security protocols and applications
000465 (2005) Dieter Zöbel [Allemagne] ; David Polock [Allemagne]Priority inheritance revisited : Towards the conformance of real-time protocols
000537 (2004) Marc Eluard [France] ; Thomas Jensen [France]Validation du contrôle d'accès dans des cartes à puce multiapplications
000688 (2003) Jean-Luc Metzger [France] ; Florence Le Ber [France] ; Amedeo Napoli [France]Modeling and representing structures for analyzing spatial organization in agronomy
000700 (2003) Dominique Cansell [France] ; Dominique Méry [France]Foundations of the B method
000709 (2003) Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France]Dynamic interconnection of heterogeneous workflow processes through services
000919 (2001) Laurent Kaiser [France] ; Francoise Simonot-Lion [France]An hybrid method for the validation of real-time systems
000A53 (1999) M. Heisel [Allemagne] ; J. Souquieres [France]De l'élicitation des besoins à la spécification formelle
000B75 (1997) J. Toussaint [France] ; F. Simonot-Lion [France]Vérification formelle de propriétés temporelles d'une application distribuée temps réel
000B76 (1997) L. Vega [France] ; Jean-Pierre Thomesse [France]Vers une caractérisation temporelle de profils de communication
000C70 (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
000C73 (1996) A. Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications

List of associated Author.i

Nombre de
documents		Descripteur
2Amedeo Napoli
2Claude Godart
2Dominique Cansell
2Dominique Méry
2F. Simonot-Lion
2Khalid Benali
2Martin Quinson
1A. Armando
1A. Bouhoula
1A. Kr Henbühl
1Adrien Coulet
1Arnaud Giersch
1Arnaud Legrand
1B. Kerautret
1Ch. Lauter
1Cyril Proch
1D. Basin
1D. Von Oheimb
1David Polock
1Dieter Zöbel
1Emmanuel Jeannot
1F. Longuetaud
1F. Mothe
1Florence Le Ber
1Francoise Simonot-Lion
1Frédéric Suter
1Henri Casanova
1I. Debled-Rennesson
1J. Cuellar
1J. Harrison
1J. M. Leban
1J. Mantovani
1J. Santiago
1J. Souquieres
1J. Toussaint
1Jean-Luc Metzger
1Jean-Pierre Thomesse
1Jens Gustedt
1Karim Baina
1Karim Baïna
1L. Compagna
1L. Hory
1L. Vega
1L. Vigano
1L. Vigneron
1Laurent Kaiser
1M. Heisel
1M. Joldes
1M. Rusinowitch
1M. Turuani
1Malika Smail-Tabbone
1Marc Eluard
1Marie-Dominique Devignes
1N. Navet
1O. Kouchnarenko
1P. C. Heam
1P. Hankes Drielsma
1S. Chevillard
1S. Mödersheim
1Thomas Jensen
1Y. Boichut
1Y. Chevalier
1Y. Song

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Validation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Validation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.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