|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A B model for ensuring soundness of a large subset of the Java Card virtual machine |
Requet, Antoine |
2003 |
46 | 3 |
p. 283-306 24 p. |
artikel |
|
| 2 | Author index |
2003 |
46 | 3 |
p. 307- 1 p. |
artikel |
||
| 3 | Automatically verifying an object-oriented specification of the Steam-Boiler system |
Carreira, Paulo J.F. |
2003 |
46 | 3 |
p. 197-217 21 p. |
artikel |
|
| 4 | Editorial board |
2003 |
46 | 3 |
p. IFC- 1 p. |
artikel |
||
| 5 | Efficient on-the-fly model-checking for regular alternation-free mu-calculus |
Mateescu, Radu |
2003 |
46 | 3 |
p. 255-281 27 p. |
artikel |
|
| 6 | Mode-Automata: a new domain-specific construct for the development of safe critical systems |
Maraninchi, Florence |
2003 |
46 | 3 |
p. 219-254 36 p. |
artikel |
|
| 7 | Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers |
Garavel, Hubert |
2003 |
46 | 3 |
p. 195-196 2 p. |
artikel |
7 gevonden resultaten