| Vérification formelle < Vérification programme < Vérification énumérative | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000786 (2006) | Axel Kalenborn [Allemagne] ; Thomas Will [Allemagne] ; Rouven Thimm [Allemagne] ; Jana Raab [Allemagne] ; Ronny Fregin [Allemagne] | Java-basiertes automatisiertes Test-Framework |
| 000909 (2004) | Laurent Granvilliers [France] ; Vladik Kreinovich [États-Unis] ; Norbert Müller [Allemagne] | Novel approaches to numerical software with result verification |
| 000A58 (2002) | Camil Demetrescu [Italie] ; Irene Finocchi [Italie] ; Giuseppe F. Italiano [Italie] ; Stefan N Her [Allemagne] | Visualization in algorithm engineering: Tools and techniques |
List of associated Author.i
| Nombre de documents | Descripteur |
|---|---|
| 1 | Axel Kalenborn |
| 1 | Camil Demetrescu |
| 1 | Giuseppe F. Italiano |
| 1 | Irene Finocchi |
| 1 | Jana Raab |
| 1 | Laurent Granvilliers |
| 1 | Norbert Müller |
| 1 | Ronny Fregin |
| 1 | Rouven Thimm |
| 1 | Stefan N Her |
| 1 | Thomas Will |
| 1 | Vladik Kreinovich |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Vérification programme"
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i \
-Sk "Vérification programme" \
| HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Rhénanie
|area= UnivTrevesV1
|flux= PascalFrancis
|étape= Checkpoint
|type= indexItem
|index= FC03.fr.i
|clé= Vérification programme
}}
| This area was generated with Dilib version V0.6.31. |  |