鉄道信号システムのモデル検査器SPINによる検証
鉄道信号システムのモデル検査器SPINによる検証
复制标题
使用模型检查器 SPIN 进行铁路信号系统验证
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
長谷川
中科院分区：
文献类型：
--
作者：
大神;清水;越村;川村;藤田;長谷川
