Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 1
Results: 6
Model-based software quality assurance tools and techniques presented at FASE 2018.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 1, doi. 10.1007/s10009-019-00541-3
- By:
- Publication type:
- Article
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 79, doi. 10.1007/s10009-019-00531-5
- By:
- Publication type:
- Article
Diversity of graph models and graph generators in mutation testing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 57, doi. 10.1007/s10009-019-00530-6
- By:
- Publication type:
- Article
CTL⋆ family-based model checking using variability abstractions and modal transition systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 35, doi. 10.1007/s10009-019-00528-0
- By:
- Publication type:
- Article
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 3, doi. 10.1007/s10009-019-00521-7
- By:
- Publication type:
- Article
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.
- Published in:
- 2020
- By:
- Publication type:
- Correction Notice