Skip to main content
main-content

Zeitschrift

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 6/2019

Ausgabe 6/2019

Quantitative Variability Modelling and Analysis

Inhaltsverzeichnis ( 7 Artikel )

20.09.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Quantitative variability modelling and analysis

Maurice H. ter Beek, Axel Legay

24.09.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Sampling strategies for product lines with unbounded parametric real-time constraints

Lars Luthmann, Timo Gerecht, Malte Lochau

21.09.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Verification and abstraction of real-time variability-intensive systems

Maxime Cordy, Axel Legay

26.10.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Configuration of inter-process communication with probabilistic model checking

Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

23.09.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Quantitative properties of featured automata

Uli Fahrenberg, Axel Legay

23.09.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Applying supervisory control synthesis to priced featured automata and energy problems

Davide Basile

23.09.2019 | Foundations for Mastering Change | Ausgabe 6/2019

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Ferruccio Damiani, Michael Lienhardt, Luca Paolini

Aktuelle Ausgaben

Premium Partner