Author:
Cámara Javier,Lopes Antónia,Garlan David,Schmerl Bradley
Funder
Office of Naval Research
National Science Foundation
U.S. Department of Defense
Foundation for Science and Technology
Reference28 articles.
1. Alternating-time temporal logic;Alur;J. ACM,2002
2. Model checking of probabilistic and nondeterministic systems;Bianco,1995
3. Architectural dependability evaluation with arcade;Boudali,2008
4. Self-adaptive software needs quantitative verification at runtime;Calinescu;Commun. ACM,2012
5. Using quantitative analysis to implement autonomic IT systems;Calinescu,2009
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献