Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller

Demonstration of Unsafe Time Condition Extraction for Train-Gate Controller
复制标题

列车门控制器不安全时间条件提取演示

DOI:
--
复制
发表时间:
2004
期刊:
Workshop on Proof Theory and its Applications, Keio University
影响因子:
--
通讯作者:
M.Banbara他
M.Banbara他
中科院分区:
--
文献类型:
--
作者:
N.Tamura;M.Banbara他

文献摘要

相似文献