|
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 | Applying supervisory control synthesis to priced featured automata and energy problems |
Basile, Davide |
2019 |
21 | 6 |
p. 679-689 |
artikel |
|
| 2 | Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form |
Damiani, Ferruccio |
2019 |
21 | 6 |
p. 691-707 |
artikel |
|
| 3 | Configuration of inter-process communication with probabilistic model checking |
Herrmann, Linda |
2019 |
21 | 6 |
p. 651-666 |
artikel |
|
| 4 | Quantitative properties of featured automata |
Fahrenberg, Uli |
2019 |
21 | 6 |
p. 667-677 |
artikel |
|
| 5 | Quantitative variability modelling and analysis |
Beek, Maurice H. ter |
2019 |
21 | 6 |
p. 607-612 |
artikel |
|
| 6 | Sampling strategies for product lines with unbounded parametric real-time constraints |
Luthmann, Lars |
2019 |
21 | 6 |
p. 613-633 |
artikel |
|
| 7 | Verification and abstraction of real-time variability-intensive systems |
Cordy, Maxime |
2019 |
21 | 6 |
p. 635-649 |
artikel |
7 gevonden resultaten