Found: 4
Select item for more details and to access through your institution.
Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification.
- Published in:
- Security & Communication Networks, 2021, p. 1, doi. 10.1155/2021/5536722
- By:
- Publication type:
- Article
Search-based Software Debugging using Weighted Fault Propagation Graphs.
- Published in:
- International Journal of Performability Engineering, 2019, v. 15, n. 12, p. 3179, doi. 10.23940/ijpe.19.12.p9.31793186
- By:
- Publication type:
- Article
From Predicate Testing to Identify Fault Location for Safety-Critical Software.
- Published in:
- International Journal of Performability Engineering, 2018, v. 14, n. 9, p. 2066, doi. 10.23940/ijpe.18.09.p15.20662075
- By:
- Publication type:
- Article
Pinpoint Minimal Failure-Inducing Mode using Itemset Mining under Constraints.
- Published in:
- International Journal of Performability Engineering, 2018, v. 14, n. 6, p. 1300, doi. 10.23940/ijpe.18.06.p21.13001307
- By:
- Publication type:
- Article