![](/img/cover-not-exists.png)
[IEEE Comput. Soc Fourth International Workshop on Real-Time Computing Systems and Applications - Taipei, Taiwan (27-29 Oct. 1997)] Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications - Specification and verification of real-time systems using ACSR-VP
Sung-Mook Lim,, Jin-Young Choi,Year:
1997
Language:
english
DOI:
10.1109/rtcsa.1997.629187
File:
PDF, 650 KB
english, 1997