|
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 systematic incrementalization technique and its application to hardware design |
Johnson, Steven D. |
2003 |
4 | 2 |
p. 211-223 |
artikel |
|
| 2 | A tool for model-checking Markov chains |
Hermanns, Holger |
2003 |
4 | 2 |
p. 153-172 |
artikel |
|
| 3 | Comparison of SPIN and VIS for protocol verification |
Peng, Hong |
2003 |
4 | 2 |
p. 234-245 |
artikel |
|
| 4 | Efficient verification of security protocols using partial-order reductions |
Clarke, Edmund |
2003 |
4 | 2 |
p. 173-188 |
artikel |
|
| 5 | Managing the verification trajectory |
Ruys, Theo C. |
2003 |
4 | 2 |
p. 246-259 |
artikel |
|
| 6 | Preface by the section editor |
Graf, Susanne |
2003 |
4 | 2 |
p. 139-141 |
artikel |
|
| 7 | The PROSPER toolkit |
Dennis, Louise A. |
2003 |
4 | 2 |
p. 189-210 |
artikel |
|
| 8 | Using static analysis to improve automatic test generation |
Bozga, Marius |
2003 |
4 | 2 |
p. 142-152 |
artikel |
|
| 9 | Vacuity detection in temporal model checking |
Kupferman, Orna |
2003 |
4 | 2 |
p. 224-233 |
artikel |
9 gevonden resultaten