2 search results - page 1 / 1 » Timed Weak Simulation Verification and Its Application to St... |
132
Voted
EUC
2005
Springer
15 years 8 months ago
2005
Springer
136
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...