安德烈·特凡;Cheng，Albert Mo Kim（艾伯特·莫·金） 实时逻辑指定系统的有效验证和优化。 （英语） Zbl 1368.68178号 IEEE传输。计算。 58，第12号，1640-1653（2009）. 评论：未发送评论稿。 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit｛Ş.Andrei｝和\textit｛A.M.K.Cheng｝，IEEE Trans。计算。58，第12号，1640--1653（2009；Zbl 1368.68178） 全文： 内政部