Model Checking Bounded Continuous-time Extended Linear Duration Invariants-Reference-Cited by-同舟云学术

Model Checking Bounded Continuous-time Extended Linear Duration Invariants

Published:2018-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
language:
Short-container-title:

Author:

An Jie¹,Zhan Naijun²,Li Xiaoshan³,Zhang Miaomiao¹,Yi Wang⁴

Affiliation:

1. School of Software Engineering, Tongji University, Shanghai, China

2. State Key Lab. of Comp. Sci., Institute of Software, CAS & Uni. of CAS, Beijing, China

3. University of Macau, Macau, China

4. Department of Information Technology, Uppsala University, Uppsala, Sweden

Publisher

ACM

Link

Reference38 articles.

2. (2) (1994) 183--235. 10.1016/0304-3975(94)90010-8 R. Alur and D. L. Dill. 1994. A theory of timed automata. TCS 126

3. (2) (1994) 183--235. 10.1016/0304-3975(94)90010-8

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Learning Nondeterministic Real-Time Automata;ACM Transactions on Embedded Computing Systems;2021-10-31

5. A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2020