|
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 | Editorial Board |
2016 |
128 | C |
p. IFC- 1 p. |
artikel |
||
| 2 | Model checking C++ programs with exceptions |
Ročkai, P. |
2016 |
128 | C |
p. 68-85 18 p. |
artikel |
|
| 3 | On the random structure of behavioural transition systems |
Groote, Jan Friso |
2016 |
128 | C |
p. 51-67 17 p. |
artikel |
|
| 4 | Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14) |
Huisman, Marieke |
2016 |
128 | C |
p. 1- 1 p. |
artikel |
|
| 5 | PTRebeca: Modeling and analysis of distributed and asynchronous systems |
Jafari, Ali |
2016 |
128 | C |
p. 22-50 29 p. |
artikel |
|
| 6 | Validation process for railway interlocking systems |
Bonacchi, A. |
2016 |
128 | C |
p. 2-21 20 p. |
artikel |
6 gevonden resultaten