哈尔滨师范大学自然科学学报
哈爾濱師範大學自然科學學報
합이빈사범대학자연과학학보
NATURAL SCIENCES JOURNAL OF HARBIN NORMAL UNIVERSITY
2009年
6期
89-92
,共4页
线性时序逻辑%UML%顺序图%交通灯
線性時序邏輯%UML%順序圖%交通燈
선성시서라집%UML%순서도%교통등
阐述了线性时序逻辑语法及语义,采用线性时序逻辑描述软件系统动态语义,并对行人过街交通灯系统进行形式化描述,证明分析该系统的性质,为系统做进一步分析和验证提供了基础.
闡述瞭線性時序邏輯語法及語義,採用線性時序邏輯描述軟件繫統動態語義,併對行人過街交通燈繫統進行形式化描述,證明分析該繫統的性質,為繫統做進一步分析和驗證提供瞭基礎.
천술료선성시서라집어법급어의,채용선성시서라집묘술연건계통동태어의,병대행인과가교통등계통진행형식화묘술,증명분석해계통적성질,위계통주진일보분석화험증제공료기출.