Publisher
Springer International Publishing
Reference11 articles.
1. Cholvy, L., Saurel. C.: Checking compliance of a system with regulations: towards a formalisation. In: Proceedings of ReMoD (2008)
2. Demasi, R. et al.: Synthesizing masking fault-tolerant systems from deontic specifications. In: Automated Technology for Verification and Analysis. Springer International Publishing (2013)
3. Shi, K.: Making existing reactive systems anticipatory: methodology and case studies. Doctoral Dissertation, Graduate School of Science and Engineering, Saitama Univ. (2013)
4. Schönefeld, J., Möller D.: Runway incursion prevention systems: a review of runway incursion avoidance and alerting system approaches. In: PiAS 51 (2012)
5. Gabillon, A., Laurent, G.: An availability model for avionic databuses. In: Proceedings of the Workshop on Issues in Security and Petri Nets. Eindhoven, Netherlands. vol. 23 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献