Computer Science ›› 2006, Vol. 33 ›› Issue (12): 238-242.
Previous Articles Next Articles
XU Qing-Guo, MIAO Huai-Kou （School of Computer Engineering ＆Computer Science, Shanghai University,Shanghai 200072）
Online:
Published:
Abstract: On the Basis of the formal model of the timed automata, timed Büchi automata and the formal syntax and semantics of the timed temporal logic, some formal theories about timed branch （linear） temporal logic are implemented over the states （runs） of the tim
Key words: Real-time, Timed temporal logic, Timed büchi automata, PVS
XU Qing-Guo, MIAO Huai-Kou （School of Computer Engineering ＆Computer Science, Shanghai University,Shanghai 200072）. [J].Computer Science, 2006, 33(12): 238-242.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I12/238
Cited
Home