Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies.

Pawel Gluchowski

Browse the full DEPCoS paper archive.