Translation of Fault Trees to Timed Computation Tree Logic

  • Georg Weissenbacher (Author)
  • Wolfgang Herzner (Author)
  • Althammer, E. (Author)

Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

Period13 Oct 2005 → 14 Oct 2005
Event titleHigh Assurance Systems Engineering Symposium (HASE 2005)
Event typeOther
Degree of RecognitionInternational

Research Field

  • Not defined