Works matching IS 14332779 AND DT 2007 AND VI 9 AND IP 1
Results: 8
On the expressiveness of MTL in the pointwise and continuous semantics.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 1, doi. 10.1007/s10009-005-0214-9
- By:
- Publication type:
- Article
The FSAP/NuSMV-SA Safety Analysis Platform.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 5, doi. 10.1007/s10009-006-0001-2
- By:
- Publication type:
- Article
CTL-property Transformations along an Incremental Design Process.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 77, doi. 10.1007/s10009-006-0007-9
- By:
- Publication type:
- Article
Improved verification of hardware designs through antecedent conditioned slicing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 89, doi. 10.1007/s10009-006-0022-x
- By:
- Publication type:
- Article
Compositional software verification based on game semantics and process algebra.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 37, doi. 10.1007/s10009-006-0005-y
- By:
- Publication type:
- Article
Some current topics in model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 25, doi. 10.1007/s10009-006-0021-y
- By:
- Publication type:
- Article
Formal verification of the NASA runway safety monitor.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 63, doi. 10.1007/s10009-006-0004-z
- By:
- Publication type:
- Article
Model-checking the preservation of temporal properties upon feature integration.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 1, p. 53, doi. 10.1007/s10009-006-0006-x
- By:
- Publication type:
- Article