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
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mobility‐aware modeling and evaluation of IoT systems using stochastic reward nets;International Journal of Communication Systems;2024-08-15
2. Performability Modeling of Distributed Systems and Its Formal Methods Representation;Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing;2021
3. Performability Modeling of Distributed Systems and Its Formal Methods Representation;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2020
4. Early reliability assessment of component-based software system using colored petri net;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2019-07-26
5. Reliable industrial IoT-based distributed automation;Proceedings of the International Conference on Internet of Things Design and Implementation;2019-04-15