Seino,T.,Ogata,K.,Futatsugi,K.: "Specification and verification of a single-track railroad signaling in CafeOBJ"Proc.of 2000 Int'l Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000). 268-273 (2000)
Seino,T.,Ogata,K.,Futatsugi,K.: "Specification and verification of a single-track railroad signaling in CafeOBJ"Proc.of 2000 Int'l Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2000). 268-273 (2000)
复制标题
Seino,T.,Ogata,K.,Futatsugi,K.：“CafeOBJ 中单轨铁路信号的规范和验证”Proc.of 2000 国际电路/系统、计算机和通信技术会议 (ITC-CSCC)
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
