Author:
Bondavalli A.,Fantechi A.,Latella D.,Simoncini L.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implicit Reward Structures for Implicit Reliability Models;IEEE Transactions on Reliability;2022
2. Petri net-based dependability modeling methodology for reconfigurable field programmable gate arrays;Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015;2015-09-11
3. Modelling of Railway Logics for Reverse Engineering, Verification and Refactoring;Safety and Reliability;2010-09
4. Introduction;Verification and Validation in Systems Engineering;2010
5. Verification, Validation, and Accreditation;Verification and Validation in Systems Engineering;2010