A formal model of real-time program compilation.

Karl Lermer Colin J. Fidge

Published in: Theor. Comput. Sci. (2002)

Keyphrases

formal model
real time
security properties
predicate calculus
formal models
vision system
security patterns
lightweight
test cases
data acquisition
static analysis