Concepedia
IFAC Proceedings Volumes · 2007 · 22 citations · 4 references
4
Temporal and Modal Logic.
E. Allen Emerson · 1990 · 824 citations
Computing, Computer Science, Formal Methods +16
Formal Fault Tree Semantics
Gerhard Schellhorn, Andreas Thums, Wolfgang Reif Lehrstuhl · 2002 · 47 citations
Engineering, Computer Science, Systems Engineering +16
DEDUCTIVE CAUSE-CONSEQUENCE ANALYSIS (DCCA)
Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn · IFAC Proceedings Volumes · 2005 · 42 citations
Education, Systems Engineering, Knowledge Representation +3
Safety and Dependability Analysis of Self-Adaptive Systems
Matthias Güdemann, Frank Ortmeier, Wolfgang Reif · 2006 · 31 citations
Engineering, Systems Engineering, Automation +16