Research Field
- Nicht definiert
Translation of Fault Trees to Timed Computation Tree Logic
- Georg Weissenbacher (Autor)
- Wolfgang Herzner (Autor)
- Althammer, E. (Autor)
Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop