Deriving Real-Time Programs from Duration Calculus Specifications.

François Siewe Dang Van Hung

Published in: CHARME (2001)

Keyphrases

real time
formal language
control flow
provably correct
transition systems
control system
high level
low cost
vision system
formal specification
computer programs
automatic programming
database
neural network
video sequences
temporal logic