Works matching IS 14332779 AND DT 2008 AND VI 10 AND IP 5
Results: 4
FAST: acceleration from theory to practice.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 5, p. 401, doi. 10.1007/s10009-008-0064-3
- By:
- Publication type:
- Article
A uniform framework for weighted decision diagrams and its implementation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 5, p. 425, doi. 10.1007/s10009-008-0069-y
- By:
- Publication type:
- Article
FTSyn: a framework for automatic synthesis of fault-tolerance.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 5, p. 455, doi. 10.1007/s10009-008-0083-0
- By:
- Publication type:
- Article
Properties of state spaces and their applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 5, p. 443, doi. 10.1007/s10009-008-0070-5
- By:
- Publication type:
- Article