Validation And NotF. Simonot-Lion
List of bibliographic references
Number of relevant bibliographic references: 17.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000005 | 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 | 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 |
| 000B76 | L. Vega [France] ; Jean-Pierre Thomesse [France] | Vers une caractérisation temporelle de profils de communication |
| 000C73 | A. Bouhoula [France] | Using induction and rewriting to verify and complete parameterized specifications |
| This area was generated with Dilib version V0.6.33. |  |