A correct-by-construction model for asynchronously communicating systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 465, doi. 10.1007/s10009-016-0421-6
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2017 AND VI 19 AND IP 4
Results: 7
1
2
Improving the numerical accuracy of programs by automatic transformation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 427, doi. 10.1007/s10009-016-0435-0
- By:
- Publication type:
- Article
3
Analyzing execution traces: critical-path analysis and distance analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 487, doi. 10.1007/s10009-016-0436-z
- By:
- Publication type:
- Article
4
Verification of critical systems described in real-time TiMo.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 395, doi. 10.1007/s10009-016-0439-9
- By:
- Publication type:
- Article
5
Require, test, and trace IT.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 409, doi. 10.1007/s10009-016-0444-z
- By:
- Publication type:
- Article
6
Preface of the special issue on formal methods in industrial critical systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 391, doi. 10.1007/s10009-017-0455-4
- By:
- Publication type:
- Article
7
Synthesizing, correcting and improving code, using model checking-based genetic programming.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 449, doi. 10.1007/s10009-016-0418-1
- By:
- Publication type:
- Article