Configuration of inter-process communication with probabilistic model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 651, doi. 10.1007/s10009-019-00536-0
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2019 AND VI 21 AND IP 6
Results: 7
1
2
Quantitative variability modelling and analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 607, doi. 10.1007/s10009-019-00535-1
- By:
- Publication type:
- Article
3
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 691, doi. 10.1007/s10009-019-00534-2
- By:
- Publication type:
- Article
4
Applying supervisory control synthesis to priced featured automata and energy problems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 679, doi. 10.1007/s10009-019-00533-3
- By:
- Publication type:
- Article
5
Sampling strategies for product lines with unbounded parametric real-time constraints.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 613, doi. 10.1007/s10009-019-00532-4
- By:
- Publication type:
- Article
6
Quantitative properties of featured automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 667, doi. 10.1007/s10009-019-00538-y
- By:
- Publication type:
- Article
7
Verification and abstraction of real-time variability-intensive systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 635, doi. 10.1007/s10009-019-00537-z
- By:
- Publication type:
- Article