Kozo Okano: "Specification of Real-time Systems using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness"Proceedings of IEEE International Conference on Parallel Processing Workshops 1999. 576-581 (1999)
Kozo Okano: "Specification of Real-time Systems using a Timed Automata Model with Shared Variables and Verification of Partial-deadlock Freeness"Proceedings of IEEE International Conference on Parallel Processing Workshops 1999. 576-581 (1999)
复制标题
Kozo Okano：“使用具有共享变量的定时自动机模型的实时系统规范和部分死锁自由度的验证”1999 年 IEEE 国际并行处理研讨会会议记录。576-581 (1999)
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
