Sciweavers

EUC
2005
Springer

Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software

13 years 9 months ago
Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software
Satoshi Yamane
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EUC
Authors Satoshi Yamane
Comments (0)