Author:
Ahmad Waqar,Hasan Osman,Pervez Usman,Qadir Junaid
Subject
Computer Networks and Communications,Computer Science Applications,Hardware and Architecture
Reference242 articles.
1. An approach for lifetime reliability analysis using theorem proving;Abbasi;J. Comput. Syst. Sci.,2014
2. Abbasi, N., Hasan, O., Tahar, S., 2013. Formal analysis of soft errors using theorem proving. In: Symbolic Computation in Software Science, vol. 122 of EPTCS, pp. 75–84.
3. Reliability analysis and fault tolerance for hypercube multi-computer networks;Abd-El-Barr;Inf. Sci.,2014
4. Performance analysis of the communication architecture of the connection machine;Ahluwalia;Trans. Parallel Distrib. Syst.,1992
5. Formalization of reliability block diagrams in higher-order logic;Ahmad;J. Appl. Logic,2016
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献