Author:
Kumar Rajesh,Narra Bhavesh,Kela Rohan,Singh Siddhant
Subject
General Engineering,General Computer Science
Reference49 articles.
1. An assessment of railway capacity;Abril;Transp. Res. Part E-Logist. Transp. Rev.,2008
2. Alur, R., Dill, D., 1992. The theory of timed automata, in: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G., (Eds.), Real-Time: Theory in Practice.
3. Computing optimal repair strategies by means of ndrft modeling and analysis;Beccuti;Comput. J.,2014
4. Bodeau, D., Brtis, J., Graubart, R., Salwen, J., 2014. Resiliency techniques for systems-of-systems extendingand applying the cyber resiliency engineering framework to the space domain, in: Proceedings of the 2014 7th International Symposium on Resilient Control Systems (ISRCS), pp. 1–6. doi:10.1109/ISRCS.2014.6900099.
5. Boudali, H., Crouzen, P., Stoelinga, M., 2007. A compositional semantics for dynamic fault trees in terms ofinteractive markov chains, in: ATVA’07 Proceedings of the 5th international conference on Automated technology for verification and analysis.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献