A Methodology for Compilation of High-Integrity Real-Time Programs.

Karl Lermer Colin J. Fidge

Published in: Euro-Par (1997)

Keyphrases

real time
high reliability
low cost
wide range
vision system
high efficiency
real time systems
databases
artificial intelligence
control system
answer sets
moving target
design methodology
computer programs