A Formal Model of Real-Time Program Compilation.

Karl Lermer Colin J. Fidge

Published in: ARTS (1999)

Keyphrases

formal model
real time
security properties
control system
security patterns
database
real time systems
formal models
predicate calculus
probabilistic knowledge
low cost
semantic web
computer programs
static analysis
programming environment