Author:
Stehr Mark-Oliver,Talcott Carolyn,Rushby John,Lincoln Pat,Kim Minyoung,Cheung Steven,Poggio Andy
Publisher
Springer Berlin Heidelberg
Reference90 articles.
1. http://runtime-verification.org/
2. http://www.ai.sri.com/~stickel/snark.html/
3. PCE User Guide, Version 1.0. Technical manual, Computer Science Laboratory, SRI International (July 2009)
4. Akyildiz, I.F., Kasimoglu, I.H.: Wireless sensor and actor networks: Research challenges. Ad Hoc Networks 2(4), 351–367 (2004)
5. Belhaouari, H., Peschanski, F.: A lightweight container architecture for runtime verification. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 173–187. Springer, Heidelberg (2008)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献