Temporal fault trees-Reference-Cited by-同舟云学术

Temporal fault trees

Published:2002-03 Issue:3 Volume:44 Page:137-150
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Palshikar Girish Keshav

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference33 articles.

1. Modal and temporal logic;Emerson,1990

2. Specification and verification in duration calculus;Liu,1996

3. L. Lamport, TLA in pictures, IEEE Trans. Software Engg 21 (9) (1995) 768–775.

4. Y.S. Ramakrishna, L.K. Dillon, L.E. Moser, P.M. Melliar-Smith, G. Kutty, A real-time temporal logic and its decision procedure, Proceedings of FSTTCS 1993, LNCS 761, Springer, Berlin, pp. 173–190.

5. Actions and events in interval temporal logic;Allen;J. Logic Comput.,1994

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. STEAM & MoSAFE: SOTIF Error-and-Failure Model & Analysis for AI-Enabled Driving Automation;SAE Technical Paper Series;2024-04-09

2. A Fault Diagnosis Method Based on Capsule Convolutional Network;2022 IEEE 24th Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys);2022-12

3. Externally initiated event in sequential risk assessment for the onshore LNG marine loading arm unit;Journal of Loss Prevention in the Process Industries;2022-02

4. Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation;Theory and Engineering of Dependable Computer Systems and Networks;2021

5. Hazard recognition and reliability analysis of CTCS-3 on-board subsystem;Computer Communications;2020-02