|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author Index |
2004 |
46 | 15 |
p. 1051-1052 2 p. |
artikel |
||
| 2 | Call for papers |
2004 |
46 | 15 |
p. 1049- 1 p. |
artikel |
||
| 3 | INSIDE FRONT COVER |
2004 |
46 | 15 |
p. IFC- 1 p. |
artikel |
||
| 4 | Instrumenting scenarios in a model-driven development environment |
Grieskamp, Wolfgang |
2004 |
46 | 15 |
p. 1027-1036 10 p. |
artikel |
|
| 5 | Keyword Index |
2004 |
46 | 15 |
p. 1053-1060 8 p. |
artikel |
||
| 6 | Mirror adaptive random testing |
Chen, T.Y. |
2004 |
46 | 15 |
p. 1001-1010 10 p. |
artikel |
|
| 7 | [No title] |
Lin, Huimin |
2004 |
46 | 15 |
p. 987-988 2 p. |
artikel |
|
| 8 | Optimal and adaptive testing for software reliability assessment |
Cai, Kai-Yuan |
2004 |
46 | 15 |
p. 989-1000 12 p. |
artikel |
|
| 9 | The software evaluation framework ‘SEF’ extended |
Wong, Bernard |
2004 |
46 | 15 |
p. 1037-1047 11 p. |
artikel |
|
| 10 | Verifying Haskell programs by combining testing, model checking and interactive theorem proving |
Dybjer, Peter |
2004 |
46 | 15 |
p. 1011-1025 15 p. |
artikel |
|
| 11 | Volume Contents |
2004 |
46 | 15 |
p. 1061-1063 3 p. |
artikel |
11 gevonden resultaten