您现在的位置: 中国铁道科学研究院刊物出版近期目录与摘要铁道通信信号2009年05 期正文
2010年09 期
2010年08 期
2010年07 期
2010年06 期
2010年05 期
2010年04 期
2010年03 期
2010年02 期
2010年01 期
2009年12 期
2009年11 期
2009年10 期
2009年09 期
2009年08 期
2009年07 期
2009年06 期
2009年05 期
2009年04 期
2009年03 期
2009年02 期
2009年01 期
2008年12 期
2008年11 期
2008年10 期
2008年09 期
2008年08 期
2008年07 期
2008年06 期
2008年05 期
2008年04 期
2008年03 期
2008年02 期
2008年01 期
2007年12 期
2007年11 期
2007年10 期
2007年09 期
2007年08 期
2007年07 期
2007年06 期
2007年05 期
2007年04 期
2007年03 期
2007年02 期
2007年01 期
2006年12 期
2006年11 期
2006年10 期
2006年09 期
2006年08 期
2006年07 期
2006年06 期
2006年05 期
2006年04 期
2006年03 期
2006年02 期
2006年01 期
2004年04 期
2004年02 期
2004年01 期
2003年12 期
2003年11 期
2003年10 期
2003年09 期
2003年08 期
2003年07 期
2003年06 期
2003年05 期
2003年04 期
2003年03 期
2003年02 期
2003年01 期
2002年12 期
2002年11 期
 
 
 
2009年05 期
标题
计算机联锁控制逻辑的模型检验方法(45 卷)
英文标题
摘要
描述了符号化模型检验策略和相应的工具软件SMV，通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范，最后分析了模型检验面临的困难以及今后的努力方向。
作者
新闻作者:燕〓飞，唐〓涛
关键字
关键词:铁路计算机联锁系统 形式化方法 模型检验 
COPYRIGHT©2001-2025 CHINA ACADEMY OF RAILWAY SCIENCES CORPORATION LIMITED，ALL RIGHTS RESERVED
中国铁道科学研究院集团有限公司 版权所有
京ICP备05020493号