Control-Flow Integrity for Real-Time Embedded Systems.

Robert J. Walls Nicholas F. Brown Thomas Le Baron Craig A. Shue Hamed Okhravi Bryan C. Ward

Published in: ECRTS (2019)

Keyphrases

control flow
real time embedded systems
data flow
process model
software testing
integrity constraints
workflow management systems
business process models
artificial intelligence
reactive systems
transition systems
real time
data sets
machine learning
error rate