|
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 | Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata |
Klein, Joachim |
2017 |
20 | 2 |
p. 179-194 |
artikel |
|
| 2 | Automated translation of VDM to JML-annotated Java |
Tran-Jørgensen, Peter W. V. |
2017 |
20 | 2 |
p. 211-235 |
artikel |
|
| 3 | Coqoon |
Faithfull, Alexander |
2017 |
20 | 2 |
p. 125-137 |
artikel |
|
| 4 | Multi-core symbolic bisimulation minimisation |
Dijk, Tom van |
2017 |
20 | 2 |
p. 157-177 |
artikel |
|
| 5 | PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives |
Kwiatkowska, Marta |
2017 |
20 | 2 |
p. 195-210 |
artikel |
|
| 6 | Recent advances in interactive and automated analysis |
Mateescu, Radu |
2017 |
20 | 2 |
p. 119-123 |
artikel |
|
| 7 | The Tinker tool for graphical tactic development |
Grov, Gudmund |
2017 |
20 | 2 |
p. 139-155 |
artikel |
7 gevonden resultaten