STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.

Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks

Browse the full SAFECOMP paper archive.