Systematic evaluation of fault trees using real-time model checker UPPAAL

Author： Cha S.   Son H.   Yoo J.   Jee E.   Seong P.H.  

Publisher： Elsevier

ISSN： 0951-8320

Source： Reliability Engineering and System Safety, Vol.82, Iss.1, 2003-10, pp. : 11-20

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A near real-time satellite-based global drought climate data record

By  

Environmental Research Letters , Vol. 7, Iss. 4, 2012-12 ,pp. : 340-347

IOP Publishing

Access to resources Recommend Favorite

A cryptography system and its parameterized vlsi generator for real-time multimedia

By  

International Journal of Safety and Security Engineering, Vol. 2, Iss. 1, 2012-03 ,pp. : 1-16

WITPress

Access to resources Recommend Favorite

A real-time, multi-space incident detection system for indoor environments

By  

International Journal of Safety and Security Engineering, Vol. 8, Iss. 2, 2018-02 ,pp. : 1-10

WITPress

Access to resources Recommend Favorite

Sensitivity of inferred climate model skill to evaluation decisions: a case study using CMIP5 evapotranspiration

By  

Environmental Research Letters , Vol. 8, Iss. 2, 2013-06 ,pp. : 254-262

IOP Publishing

Access to resources Recommend Favorite

Evaluation of a CFD porous model for calculating ventilation in explosion hazard assessments

By Fothergill C.E.   Chynoweth S.   Roberts P.   Packwood A.  

Journal of Loss Prevention in the Process Industries, Vol. 16, Iss. 4, 2003-07 ,pp. : 341-347

Elsevier

Access to resources Recommend Favorite