Specification and Construction of Real-time Programs with "PARCs".

Volkmar H. Haase

Published in: Angew. Inform. (1980)

Keyphrases

real time
provably correct
low cost
control system
artificial intelligence
high level
hidden markov models
real time systems
control program
genetic algorithm
computer vision
information retrieval
logic programs
vision system
fixpoint
automatic programming
reactive systems
databases