Author:
Ciardo Gianfranco,Muppala Jogesh K.,Trivedi Kishor S.
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference31 articles.
1. A class of Generalized Stochastic Petri Nets for the performance evaluation of multi-processor systems;Ajmone Marsan;ACM Trans. Comput. Systems,1984
2. Data diversity: An approach to software fault tolerance;Ammann,1987
3. Dependability evaluation of software fault-tolerance;Arlat,1988
4. The N-version approach to fault-tolerant software;Avizienis;IEEE Trans. Software Engrg.,1985
5. Tools for analyzing dynamic properties of system and software designs;Blakemore,1989
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Performability Modeling of Distributed Systems and Its Formal Methods Representation;Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing;2021
2. Performability Modeling of Distributed Systems and Its Formal Methods Representation;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2020
3. Early reliability assessment of component-based software system using colored petri net;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2019-07-26
4. Reliable industrial IoT-based distributed automation;Proceedings of the International Conference on Internet of Things Design and Implementation;2019-04-15
5. Reliability and Availability Evaluation for Cloud Data Center Networks Using Hierarchical Models;IEEE Access;2019