Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 4
Results: 7
Integrated formal verification of safety-critical software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 423, doi. 10.1007/s10009-017-0475-0
- By:
- Publication type:
- Article
Assessing SMT and CLP approaches for workflow nets verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 467, doi. 10.1007/s10009-018-0486-5
- By:
- Publication type:
- Article
Formal methods and automated verification of critical systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 355, doi. 10.1007/s10009-018-0494-5
- By:
- Publication type:
- Article
Model-based testing strategies and their (in)dependence on syntactic model representations.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 441, doi. 10.1007/s10009-017-0479-9
- By:
- Publication type:
- Article
Runtime verification of autopilot systems using a fragment of MTL-∫.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 379, doi. 10.1007/s10009-017-0470-5
- By:
- Publication type:
- Article
High-level frameworks for the specification and verification of scheduling problems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 397, doi. 10.1007/s10009-017-0466-1
- By:
- Publication type:
- Article
Qualitative and quantitative analysis of safety-critical systems with.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 359, doi. 10.1007/s10009-017-0464-3
- By:
- Publication type:
- Article