Runtime verification of real-time applications using trace data and model requirements
My PhD thesis on runtime verification for real-time applications using trace data, model requirements, and automated anomaly detection.
Tagged: Multicore Systems
My PhD thesis on runtime verification for real-time applications using trace data, model requirements, and automated anomaly detection.