Publisher
Springer International Publishing
Reference35 articles.
1. R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol. 126(2), pp. 183–235, 1994
2. F. Arnold, D. Guck, R. Kumar and M. Stoelinga, Sequential and parallel attack tree modeling, in Computer Safety, Reliability and Security, F. Koornneef and C. van Gulijk (Eds.), Springer, Cham, Switzerland, pp. 291–299, 2015.
3. G. Behrmann, A. David and K. Larsen, A tutorial on UPPAAL, in Formal Methods for the Design of Real-Time Systems, M. Bernardo and F. Corradini (Eds.), Springer, Berlin Heidelberg, Germany, pp. 200–236, 2004.
4. R. Bloomfield, P. Popov, K. Salako, V. Stankovic and D. Wright, Preliminary interdependency analysis: An approach to support critical infrastructure risk assessment, Reliability Engineering and System Safety, vol. 167, pp. 198–217, 2017.
5. A. Bobbio, G. Bonanni, E. Ciancamerla, R. Clemente, A. Iacomini, M. Minichino, A. Scarlatti, R. Terruggia and E. Zendri, Unavailability of critical SCADA communications links interconnecting a power grid and a telco network, Reliability Engineering and System Safety, vol. 95(12), pp. 1345–1357, 2010.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献