Validation And NotHenri Casanova
List of bibliographic references
Number of relevant bibliographic references: 18.Ident. | Authors (with country if any) | Title |
---|---|---|
000110 | 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 | S. Chevillard [France] ; J. Harrison [États-Unis] ; M. Joldes [France] ; Ch. Lauter [France] | Efficient and accurate computation of upper bounds of approximation errors |
000226 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
000244 | Jens Gustedt [France] ; Emmanuel Jeannot [France] ; Martin Quinson [France] | EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY |
000345 | 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 | Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
000451 | 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 | Dieter Zöbel [Allemagne] ; David Polock [Allemagne] | Priority inheritance revisited : Towards the conformance of real-time protocols |
000537 | Marc Eluard [France] ; Thomas Jensen [France] | Validation du contrôle d'accès dans des cartes à puce multiapplications |
000688 | Jean-Luc Metzger [France] ; Florence Le Ber [France] ; Amedeo Napoli [France] | Modeling and representing structures for analyzing spatial organization in agronomy |
000700 | Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
000709 | Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France] | Dynamic interconnection of heterogeneous workflow processes through services |
000919 | Laurent Kaiser [France] ; Francoise Simonot-Lion [France] | An hybrid method for the validation of real-time systems |
000A53 | M. Heisel [Allemagne] ; J. Souquieres [France] | De l'élicitation des besoins à la spécification formelle |
000B75 | J. Toussaint [France] ; F. Simonot-Lion [France] | Vérification formelle de propriétés temporelles d'une application distribuée temps réel |
000B76 | L. Vega [France] ; Jean-Pierre Thomesse [France] | Vers une caractérisation temporelle de profils de communication |
000C70 | 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 | A. Bouhoula [France] | Using induction and rewriting to verify and complete parameterized specifications |
This area was generated with Dilib version V0.6.33. |