|
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 | Code generation for Event-B |
Rivera, Víctor |
2015 |
19 | 1 |
p. 31-52 |
artikel |
|
| 2 | Handling loops in bounded model checking of C programs via k-induction |
Gadelha, Mikhail Y. R. |
2015 |
19 | 1 |
p. 97-114 |
artikel |
|
| 3 | MCMAS: an open-source model checker for the verification of multi-agent systems |
Lomuscio, Alessio |
2015 |
19 | 1 |
p. 9-30 |
artikel |
|
| 4 | Model-based regression testing by OCL |
Zech, Philipp |
2015 |
19 | 1 |
p. 115-131 |
artikel |
|
| 5 | Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$CSP‖B |
Ye, Kangfeng |
2015 |
19 | 1 |
p. 73-96 |
artikel |
|
| 6 | Testing real-time systems from compositional symbolic specifications |
Damasceno, Adriana C. |
2015 |
19 | 1 |
p. 53-71 |
artikel |
|
| 7 | The physics of software tools: SWOT analysis and vision |
Steffen, Bernhard |
2017 |
19 | 1 |
p. 1-7 |
artikel |
7 gevonden resultaten