Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems.

Thomas Reinbacher, Kristin Yvonne Rozier, Johann Schumann

Browse the full TACAS paper archive.