|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A formal verification technique for behavioural model-to-model transformations |
Putter, Sander de |
2017 |
30 | 1 |
p. 3-43 |
article |
|
| 2 | A semantics comparison workbench for a concurrent, asynchronous, distributed programming language |
Corrodi, Claudio |
2017 |
30 | 1 |
p. 163-192 |
article |
|
| 3 | Cut branches before looking for bugs: certifiably sound verification on relaxed slices |
Léchenet, Jean-Christophe |
2017 |
30 | 1 |
p. 107-131 |
article |
|
| 4 | Editorial |
Denney, Ewen |
2017 |
30 | 1 |
p. 1 |
article |
|
| 5 | Model-based testing of probabilistic systems |
Gerhold, Marcus |
2017 |
30 | 1 |
p. 77-106 |
article |
|
| 6 | ProFeat: feature-oriented engineering for family-based probabilistic model checking |
Chrszon, Philipp |
2017 |
30 | 1 |
p. 45-75 |
article |
|
| 7 | Variability-based model transformation: formal foundation and application |
Strüber, D. |
2017 |
30 | 1 |
p. 133-162 |
article |
7 results found