A class library for implementing, testing, and debugging concurrent programs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 69, doi. 10.1007/s10009-009-0102-9
- By:
- Publication type:
- Article
Works matching IS 1433-2779 AND VI 12 AND IP 1 AND DT 2010
Results: 6
1
2
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 39, doi. 10.1007/s10009-009-0130-5
- By:
- Publication type:
- Article
3
Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 23, doi. 10.1007/s10009-009-0133-2
- By:
- Publication type:
- Article
4
A framework for robust active super tier systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 53, doi. 10.1007/s10009-008-0096-8
- By:
- Publication type:
- Article
5
Toward a wider use of formal methods for aerospace systems design and verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 1, doi. 10.1007/s10009-009-0131-4
- By:
- Publication type:
- Article
6
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 9, doi. 10.1007/s10009-009-0132-3
- By:
- Publication type:
- Article