Login / Signup
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies.
Pawel Gluchowski
Published in:
DepCoS-RELCOMEX (2009)
Keyphrases
</>
real time
fault tree
expressive power
data mining
neural network
decision making
computer aided
qualitative analysis
dependency analysis