Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties

In this paper, we consider a subclass of Probabilistic Duration Calculus formula called Simple Probabilistic Duration Calculus (SPDC) as a language for specifying dependability requirements for real-time systems, and address the two problems: to decide if a probabilistic timed automaton satisfies...

全面介紹

Saved in:
書目詳細資料
Main Authors: Dang, Van Hung, Miaomiao, Zhang, Pham, Dinh Chinh
格式: Article
語言:English
出版: ĐHQGHN 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/56777
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Vietnam National University, Hanoi
語言: English