|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Introduction to Real-Time Object-Z |
Smith, Graeme |
2002 |
13 | 2 |
p. 128-141 |
artikel |
|
| 2 | An Overview of the Integrated Formalism RT-Z |
Sühl, Carsten |
2002 |
13 | 2 |
p. 94-110 |
artikel |
|
| 3 | Combining Component Specifications in Object-Z and CSP |
Derrick, John |
2002 |
13 | 2 |
p. 111-127 |
artikel |
|
| 4 | Compositional Comparison of Formal Software Specifications Using Transformation Systems |
Große-Rhode, Martin |
2002 |
13 | 2 |
p. 161-186 |
artikel |
|
| 5 | Deep Semantic Links of TCSP and Object-Z: TCOZ Approach |
Mahony, Brendan |
2002 |
13 | 2 |
p. 142-160 |
artikel |
|
| 6 | Editorial |
Cooke, John |
2002 |
13 | 2 |
p. 93 |
artikel |
6 gevonden resultaten