Verification and validation meet planning and scheduling.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 1, doi. 10.1007/s10009-013-0294-x
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2014 AND VI 16 AND IP 1
Results: 7
1
2
Open source software-defined radio tools for education, research, and rapid prototyping.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 67, doi. 10.1007/s10009-012-0241-2
- By:
- Publication type:
- Article
3
Symbolic object code analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 81, doi. 10.1007/s10009-012-0256-8
- By:
- Publication type:
- Article
4
Constraint-based BMC: a backjumping strategy.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 103, doi. 10.1007/s10009-012-0258-6
- By:
- Publication type:
- Article
5
A loop acceleration technique to speed up verification of automatically generated plans.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 13, doi. 10.1007/s10009-013-0284-z
- By:
- Publication type:
- Article
6
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 31, doi. 10.1007/s10009-012-0269-3
- By:
- Publication type:
- Article
7
Generating effective tests for concurrent programs via AI automated planning techniques.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 49, doi. 10.1007/s10009-013-0277-y
- By:
- Publication type:
- Article