List of bibliographic references
Number of relevant bibliographic references: 21.
[0-20] [
0 - 20][
0 - 21][
20-20][
20-40]
| Ident. | Authors (with country if any) | Title |
|---|
| 000352 (2011) |
Jacqueline Floch [Norvège] ; Cyril Carrez [Norvège] | A Developer-Friendly Approach for the Validation of Dynamic Compositions |
| 000482 (2010) |
Flemming Nielson [Danemark] ; Han Gao [Danemark] ; Hanne Riis Nielson [Danemark] | The CaPiTo Approach to Protocol Validation |
| 000655 (2010) |
Stefan Kühne [Allemagne] ; Heiko Kern [Allemagne] ; Volker Gruhn [Allemagne] ; Ralf Laue [Allemagne] | Business process modeling with continuous validation |
| 000856 (2009) |
W. J. Teeuw [Pays-Bas] ; L. Coelho [Portugal] ; A. Silva [Portugal] ; C. J. N. M. Van Der Palen [Pays-Bas] ; F. G. J. M. Lessmann [Pays-Bas] ; U. Van Der Velden [Pays-Bas] ; B. G. Loos [Pays-Bas] | Validation of a dental image analyzer tool to measure alveolar bone loss in periodontitis patients |
| 000857 (2009) |
Mazen Malek Shiaa [Norvège] ; Jan Ove Fladmark [Norvège] | Validation Aspects of Automatic Service Composition |
| 001188 (2007) |
Cristina Satizábal [Espagne, Colombie, États-Unis] ; Rafael Martínez-Peláez [Espagne, États-Unis] ; Jordi Forné [Espagne, États-Unis] ; Francisco Rico-Novella [Espagne, États-Unis] | Reducing the Computational Cost of Certification Path Validation in Mobile Payment |
| 001238 (2007) |
Beda Christoph Hammerschmidt [États-Unis, Colombie] ; Christian Werner [Allemagne] ; Ylva Brandt [Allemagne] ; Volker Linnemann [Allemagne] ; Sven Groppe [Allemagne] ; Stefan Fischer [Allemagne] | Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams |
| 001A58 (2005) |
Michael Pieper [Allemagne] ; Karl Stroetmann [Allemagne] | Chapter 21 Participatory Insight to Universal Access: Methods and Validation Exercises |
| 001B38 (2005) |
Jacqueline Floch [Norvège] ; Rolv Br K [Norvège] | A Compositional Approach to Service Validation |
| 001F11 (2004) |
Jose L. Mu Oz [Espagne] ; Jordi Forné [Espagne] ; Oscar Esparza [Espagne] ; Miguel Soriano [Espagne] | CERVANTES – A Certificate Validation Test-Bed |
| 002499 (2002) |
Vincenzo Grassi [Italie] ; Vittorio Cortellessa [Italie] ; Raffaela Mirandola [Italie] | Performance Validation of Mobile Software Architectures |
| 002970 (2001) |
Maarten Wegdam [Pays-Bas] ; Dirk-Jaap Plas [Pays-Bas] ; Musa Unmehopa [Pays-Bas] | Validation of the Open Service Access API for UMTS Application Provisioning |
| 003263 (1999) |
Paolo Mattioli [Italie] ; Peter J. Klutke [Italie, Allemagne] ; Fabio Baruffaldi [Italie] ; Ana Villar-Guzman [Espagne] ; Aldo Toni [Italie] ; Karl-H. Englmeier [Italie, Allemagne] | Technical validation of low-cost videoconferencing systems applied in orthopaedic teleconsulting services |
| 003323 (1999) |
Pirkko Nyk Nen [Finlande] ; John Enning [Pays-Bas] ; Jan Talmon [Pays-Bas] ; Dirk Hoyer [Allemagne] ; Ferran Sanz [Espagne] ; Christine Thayer [France] ; Risto Roine [Finlande] ; Marieke Vissers [Pays-Bas] ; Fabienne Eurlings [Pays-Bas] | Inventory of validation approaches in selected health telematics projects |
| 003413 (1999) |
Louise Demers [Canada] ; Roelof D. Wessels [Pays-Bas] ; Rhoda Weiss-Lambrou [Canada] ; Bernadette Ska [Canada] ; Luc P. De Witte [Pays-Bas] | An international content validation of the Quebec User Evaluation of Satisfaction with assistive Technology (QUEST) |
| 003790 (1998) |
Theo C. Ruys [Pays-Bas] ; Ed Brinksma [Pays-Bas] | Experience with literate programming in the modelling and validation of systems |
| 004697 (1994) |
William J. Campbell [États-Unis] ; Nicholas M. Short Jr. [États-Unis] ; Patrick Coronado [États-Unis] ; Robert F. Cromp [États-Unis] | Distributed Earth science validation centers for Mission to Planet Earth |
| 004877 (1993) |
Uma G. Gupta [États-Unis] | Validation and verification of knowledge-based systems: A survey |
| 004879 (1993) |
Jon Atle Gulla [Norvège] ; Geir Willumsen [Norvège] | Using explanations to improve the validation of executable models |
| 004C98 (1991) |
Lewey Gilstrap | Validation and verification of expert systems |
| 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 "validation"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i \
-Sk "validation" \
| 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é= validation
}}
| 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 |  |
