[IEEE TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation - Beijing, China (19-21 Oct. 1993)] Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation - Petri net tools for analysis and verification of task scheduling algorithm in real time distributed process control system
Chen Qinghua, ; Wu Yongsen, ; Zhu Hong,
- 作者Chen Qinghua, ; Wu Yongsen, ; Zhu Hong,
- 文件大小290.44KB
- 发表时间1993
- DOI10.1109/TENCON.1993.320433
- 页码56-59