|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Another Look at LTL Model Checking |
Edmund M. Clarke |
1997 |
10 | 1 |
p. 47-71 25 p. |
artikel |
|
| 2 | Another Look at LTL Model Checking |
Clarke, Edmund M. |
1997 |
10 | 1 |
p. 47-71 |
artikel |
|
| 3 | Editorial |
Edmund Clarke |
1997 |
10 | 1 |
p. 5-5 1 p. |
artikel |
|
| 4 | Editorial |
Clarke, Edmund |
1997 |
10 | 1 |
p. 5 |
artikel |
|
| 5 | Formal Verification of a Distributed Computer System |
M. Merritt |
1997 |
10 | 1 |
p. 93-125 33 p. |
artikel |
|
| 6 | Formal Verification of a Distributed Computer System |
Merritt, M. |
1997 |
10 | 1 |
p. 93-125 |
artikel |
|
| 7 | Generating Validation Feedback for Automatic Interpretation of Informal Requirements |
W.R. Cyre |
1997 |
10 | 1 |
p. 73-92 20 p. |
artikel |
|
| 8 | Generating Validation Feedback for Automatic Interpretation of Informal Requirements |
Cyre, W.R. |
1997 |
10 | 1 |
p. 73-92 |
artikel |
|
| 9 | Multiway Decision Graphs for Automated Hardware Verification |
F. Corella |
1997 |
10 | 1 |
p. 7-46 40 p. |
artikel |
|
| 10 | Multiway Decision Graphs for Automated Hardware Verification |
Corella, F. |
1997 |
10 | 1 |
p. 7-46 |
artikel |
10 gevonden resultaten