Browse/Search Results:  1-10 of 10 Help

Selected(0)Clear Items/Page:    Sort:
Cyber security and privacy issues in smart grids Journal article
IEEE Communications Surveys and Tutorials, 2012,Volume: 14,Issue: 4,Page: 981
Authors:  Liu J.;  Xiao Y.;  Li S.;  Liang W.;  Chen C.L.P.
View  |  Adobe PDF(1244Kb)  |  Favorite  |  View/Download:950/218  |  Submit date:2018/10/30
Accountability  Ami  Privacy  Scada  Security  Smart Grid  
Formalising Scheduling Theories in Duration Calculus Journal article
Nordic Journal of Computing, 2008,Volume: 14,Page: 173–201
Favorite  |  View/Download:3/0  |  Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
QRDChecker: A model checking tool for QRDC Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 3,Page: 355-364
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite  |  View/Download:3/0  |  Submit date:2019/04/04
Finitary property  Interval temporal logic  Model checking  Reactive system  
QRDChecker:一个 QRDC 模型检验工具 Journal article
软件学报, 2005,Volume: 16,Issue: 03,Page: 355-364
Authors:  裴玉;  徐启文;  李宣东;  郑国梁
Favorite  |  View/Download:24/0  |  Submit date:2019/05/03
模型检验  有限性性质  反应式系统  时段时序逻辑  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Completeness of temporal logics over infinite intervals Journal article
Discrete Applied Mathematics, 2004,Volume: 136,Issue: 1,Page: 87-103
Authors:  Wang H.;  Xu Q.
Favorite  |  View/Download:3/0  |  Submit date:2019/04/04
Completeness  Henkin's Construction  Interval Temporal Logic  
Checking interval based properties for reactive systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Venice, Italy, 1 11, 2004 - 1 13, 2004
Authors:  Yu, Pei;  Qiwen, Xu
Favorite  |  View/Download:4/0  |  Submit date:2018/11/06
Modelling and verification of a network player system with DCValid Conference paper
Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic  
Specification and simulation of a concurrent real-time system Journal article
International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings, 1999,Page: 197-204
Authors:  Li Xiaoshan
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Specification and simulation of a concurrent real-time system Conference paper
Proceedings - International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, CA, USA, USA, 17-18 May 1999
Authors:  Li X.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Interval Temporal Logic  Concurrent Real-time Systems  Executable Speci cation  Simulation And Veri cation