|
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 Refinement Strategy for Circus |
Cavalcanti, Ana |
2003 |
15 | 2-3 |
p. 146-181 |
artikel |
|
| 2 | Compositional Action System Refinement |
Back, R. J. R. |
2003 |
15 | 2-3 |
p. 103-117 |
artikel |
|
| 3 | Concurrency and Refinement in the Unified Modeling Language |
Davies, Jim |
2003 |
15 | 2-3 |
p. 118-145 |
artikel |
|
| 4 | Editorial |
2003 |
15 | 2-3 |
p. 101-102 |
artikel |
||
| 5 | Exploring Tabular Verification and Refinement |
Sekerinski, Emil |
2003 |
15 | 2-3 |
p. 215-236 |
artikel |
|
| 6 | Mutation Testing in the Refinement Calculus |
Aichernig, Bernhard K. |
2003 |
15 | 2-3 |
p. 280-295 |
artikel |
|
| 7 | Relational Concurrent Refinement |
Derrick, John |
2003 |
15 | 2-3 |
p. 182-214 |
artikel |
|
| 8 | The ASM Refinement Method |
Börger, Egon |
2003 |
15 | 2-3 |
p. 237-257 |
artikel |
|
| 9 | The Variety of Variables in Automated Real-Time Refinement |
Wildman, Luke |
2003 |
15 | 2-3 |
p. 258-279 |
artikel |
9 gevonden resultaten