Upper bound < Validation < Validation & verification | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
000340 (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 |
000352 (2005) | Dieter Zöbel [Allemagne] ; David Polock [Allemagne] | Priority inheritance revisited : Towards the conformance of real-time protocols |
000488 (1999) | M. Heisel [Allemagne] ; J. Souquieres [France] | De l'élicitation des besoins à la spécification formelle |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Allemagne/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/KwdEn.i -k "Validation"
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/KwdEn.i \ -Sk "Validation" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Allemagne |étape= Analysis |type= indexItem |index= KwdEn.i |clé= Validation }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |