|
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 correct-by-construction model for asynchronously communicating systems |
Farah, Zoubeyr |
2016 |
19 | 4 |
p. 465-485 |
artikel |
|
| 2 | Analyzing execution traces: critical-path analysis and distance analysis |
Hendriks, Martijn |
2016 |
19 | 4 |
p. 487-510 |
artikel |
|
| 3 | Improving the numerical accuracy of programs by automatic transformation |
Damouche, Nasrine |
2016 |
19 | 4 |
p. 427-448 |
artikel |
|
| 4 | Preface of the special issue on formal methods in industrial critical systems |
Güdemann, Matthias |
2017 |
19 | 4 |
p. 391-393 |
artikel |
|
| 5 | Require, test, and trace IT |
Aichernig, Bernhard K. |
2016 |
19 | 4 |
p. 409-426 |
artikel |
|
| 6 | Synthesizing, correcting and improving code, using model checking-based genetic programming |
Katz, Gal |
2016 |
19 | 4 |
p. 449-464 |
artikel |
|
| 7 | Verification of critical systems described in real-time TiMo |
Aman, Bogdan |
2016 |
19 | 4 |
p. 395-408 |
artikel |
7 gevonden resultaten