Editorial.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 583, doi. 10.1007/s10766-005-8906-z
- By:
- Publication type:
- Article
Works matching IS 08857458 AND DT 2005 AND VI 33 AND IP 6
Results: 6
1
2
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 613, doi. 10.1007/s10766-005-8907-y
- By:
- Publication type:
- Article
3
A Framework for the Functional Verification of SystemC Models.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 667, doi. 10.1007/s10766-005-8908-x
- By:
- Publication type:
- Article
4
Verification of Embedded Systems Based on Interval Analysis.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 697, doi. 10.1007/s10766-005-8909-9
- By:
- Publication type:
- Article
5
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 645, doi. 10.1007/s10766-005-8910-3
- By:
- Publication type:
- Article
6
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 585, doi. 10.1007/s10766-005-8911-2
- By:
- Publication type:
- Article