Author:
Yang MengFei,Wang Zheng,Pu GeGuang,Qin ShengChao,Gu Bin,He JiFeng
Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Wang Z, Pu G, Qin S, et al. MDM: A mode diagram modeling framework for periodic control systems. The Computing Research Repository, 2012: abs/1207.0922. http://arxiv.org/abs/1207.0922
2. Cornelissen B, Zaidman A, Deursen A. A controlled experiment for program comprehension through trace visualization. IEEE Trans Softwe Eng, 2011, 37: 341–355
3. Liu N, Grundy J, Hosking J. A visual language and environment for composing web services. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering(ASE 2005), New York, 2005. 321–324
4. Dutertre B. Complete proof systems for first order interval temporal logic. In: Proceedings of the 1995 ACM/IEEE Symposium on Logic in Computer Science, San Diego, 1995. 36–43
5. Younes H, Simmons R. Probabilistic verification of discrete event systems using acceptance sampling. In: Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002), Copenhagen, 2002. 223–235
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Bayesian Reinforcement Learning Method for Periodic Robotic Control Under Significant Uncertainty;2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2023-10-01
2. FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07
3. Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper);Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2019
4. Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation;IEEE Transactions on Parallel and Distributed Systems;2018-11-01
5. COSRDL: An Event-Driven Control-Oriented System Requirement Modeling Method;Communications in Computer and Information Science;2018