|
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 | Concurrent depth-first search algorithms based on Tarjan’s Algorithm |
Lowe, Gavin |
2015 |
18 | 2 |
p. 129-147 |
artikel |
|
| 2 | FDR3: a parallel refinement checker for CSP |
Gibson-Robinson, Thomas |
2015 |
18 | 2 |
p. 149-167 |
artikel |
|
| 3 | Many-core on-the-fly model checking of safety properties using GPUs |
Wijs, Anton |
2015 |
18 | 2 |
p. 169-185 |
artikel |
|
| 4 | Monitoring modulo theories |
Decker, Normann |
2015 |
18 | 2 |
p. 205-225 |
artikel |
|
| 5 | Probabilistic verification and synthesis of the next generation airborne collision avoidance system |
Essen, Christian von |
2015 |
18 | 2 |
p. 227-243 |
artikel |
|
| 6 | SATMC: a SAT-based model checker for security protocols, business processes, and security APIs |
Armando, Alessandro |
2015 |
18 | 2 |
p. 187-204 |
artikel |
|
| 7 | Some recent advances in automated analysis |
Ábrahám, Erika |
2015 |
18 | 2 |
p. 121-128 |
artikel |
7 gevonden resultaten