Enforcing Safety and Security Through Non-Intrusive Runtime Verification

TitleEnforcing Safety and Security Through Non-Intrusive Runtime Verification
Publication TypeConference Paper
Year of Publication2016
AuthorsGouveia, I., and J. Rufino
Conference Namethe 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems