|
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 formal verification technique for behavioural model-to-model transformations |
Putter, Sander de |
2017 |
30 | 1 |
p. 3-43 |
artikel |
|
| 2 | A semantics comparison workbench for a concurrent, asynchronous, distributed programming language |
Corrodi, Claudio |
2017 |
30 | 1 |
p. 163-192 |
artikel |
|
| 3 | Cut branches before looking for bugs: certifiably sound verification on relaxed slices |
Léchenet, Jean-Christophe |
2017 |
30 | 1 |
p. 107-131 |
artikel |
|
| 4 | Editorial |
Denney, Ewen |
2017 |
30 | 1 |
p. 1 |
artikel |
|
| 5 | Model-based testing of probabilistic systems |
Gerhold, Marcus |
2017 |
30 | 1 |
p. 77-106 |
artikel |
|
| 6 | ProFeat: feature-oriented engineering for family-based probabilistic model checking |
Chrszon, Philipp |
2017 |
30 | 1 |
p. 45-75 |
artikel |
|
| 7 | Variability-based model transformation: formal foundation and application |
Strüber, D. |
2017 |
30 | 1 |
p. 133-162 |
artikel |
7 gevonden resultaten