Works matching IS 14332779 AND DT 2012 AND VI 14 AND IP 6
Results: 5
Compositional verification of real-time systems using Ecdar.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 703, doi. 10.1007/s10009-012-0237-y
- By:
- Publication type:
- Article
Formal modeling and validation of Stateflow diagrams.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 653, doi. 10.1007/s10009-012-0235-0
- By:
- Publication type:
- Article
Constructive model-based analysis for safety assessment.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 673, doi. 10.1007/s10009-012-0238-x
- By:
- Publication type:
- Article
Timing analysis of MSC specifications with asynchronous concatenation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 639, doi. 10.1007/s10009-012-0239-9
- By:
- Publication type:
- Article
Relating software validation to technology trends.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 631, doi. 10.1007/s10009-012-0259-5
- By:
- Publication type:
- Article