Author:
Alcalde Baptiste,Cavalli Ana,Chen Dongluo,Khuu Davy,Lee David
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Runtime enforcement of timed properties usinggames;Formal Aspects of Computing;2020-07
2. GREP: Games for the Runtime Enforcement of Properties;Testing Software and Systems;2017
3. A survey on formal active and passive testing with applications to the cloud;annals of telecommunications - annales des télécommunications;2015-02-18
4. Proxy-Monitor;International Journal of Software Innovation;2014-04
5. Symbolic-Based Monitoring for Embedded Applications;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2014