Duration Calculus for Analysis of Fault Trees with Time Dependencies

Pawel Gluchowski. Duration Calculus for Analysis of Fault Trees with Time Dependencies. In 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland. pages 107-114, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.