| 基于LTL的交通灯系统形式化描述方法 |
| |
| 引用本文： | 张丹,伦立军. 基于LTL的交通灯系统形式化描述方法[J]. 哈尔滨师范大学自然科学学报, 2009, 25(6): 89-92 |
| |
| 作者姓名： | 张丹 伦立军 |
| |
| 作者单位： | 哈尔滨师范大学;哈尔滨师范大学 |
| |
| 摘 要： | 阐述了线性时序逻辑语法及语义,采用线性时序逻辑描述软件系统动态语义,并对行人过街交通灯系统进行形式化描述,证明分析该系统的性质,为系统做进一步分析和验证提供了基础.
|
| 关 键 词： | 线性时序逻辑 UML 顺序图 交通灯 |
A Formal Description of Traffic Signal Based on LTL |
| |
| Zhang Dan,Lun Lijun. A Formal Description of Traffic Signal Based on LTL[J]. Natural Science Journal of Harbin Normal University, 2009, 25(6): 89-92 |
| |
| Authors: | Zhang Dan Lun Lijun |
| |
| Affiliation: | (Harbin Normal University) |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
