|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A methodology to incorporateformal methods in hybrid KBS verification |
Gamble, R.F. |
1996 |
44 | 2 |
p. 213-244 32 p. |
artikel |
|
| 2 | Bulletin |
1996 |
44 | 2 |
p. 271-274 4 p. |
artikel |
||
| 3 | Editorial: special issue on verification and validation |
Plant, Robert |
1996 |
44 | 2 |
p. 123-125 3 p. |
artikel |
|
| 4 | On the validation and verification of production systems: a graph reduction approach |
Murrell, Stephen |
1996 |
44 | 2 |
p. 127-144 18 p. |
artikel |
|
| 5 | Refinement complements verification and validation |
Craw, Susan |
1996 |
44 | 2 |
p. 245-256 12 p. |
artikel |
|
| 6 | Structure-preserving specification languages for knowledge-based systems |
Harmelen, Frank van |
1996 |
44 | 2 |
p. 187-212 26 p. |
artikel |
|
| 7 | The relationship between errors and size in knowledge-based systems |
O 'Leary, Daniel E. |
1996 |
44 | 2 |
p. 171-185 15 p. |
artikel |
|
| 8 | Validating dynamic properties of rule-based systems |
Preece, Alun D. |
1996 |
44 | 2 |
p. 145-169 25 p. |
artikel |
|
| 9 | Verification and validation with ripple-down rules |
Kang, Byeong Ho |
1996 |
44 | 2 |
p. 257-269 13 p. |
artikel |
9 gevonden resultaten