verifiable < verification < verified

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 24.
[20-40] [0 - 20][0 - 24]

Ident.	Authors (with country if any)	Title
004C98 (1991)	Lewey Gilstrap	Validation and verification of expert systems
004D96 (1991)		4967273 Television program transmission verification method and apparatus
005025 (1990)	Svein J. Knapskog [Norvège]	Formal specification and verification of secure communication protocols
005386 (1988)	Shon Vick [États-Unis] ; Kelly Lindenmayer [États-Unis]	Verification and validation of rulebased systems for hubble space telescope ground support

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "verification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "verification" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    verification
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024