Towards a Refinement Calculus for Concurrent Real-Time Programs.

Sibylle Peuker Ian J. Hayes

Published in: ICFEM (2002)

Keyphrases

real time
low cost
concurrent programs
high speed
real time systems
provably correct
data acquisition
genetic algorithm
artificial intelligence
computer vision
website
video sequences
expert systems
vision system
first order logic
answer sets