Author:
Acosta Araceli,Kilmurray Cecilia,Castro Pablo F.,Aguirre Nazareno M.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Bernardeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4), 251–275 (2002)
2. Lecture Notes in Computer Science;A. Biere,1997
3. Castro, P.F.: Deontic Action Logics for the Specification and Analysis of Fault-Tolerance. PhD thesis, McMaster University, Department of Computing and Software (2009)
4. Lecture Notes in Artificial Intelligence;P.F. Castro,2008
5. Castro, P.F., Maibaum, T.S.E.: Deontic action logic, atomic boolean algebra and fault-tolerance. Journal of Applied Logic 7(4), 441–466 (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献