A Compositional Real-Time Semantics of STATEMATE Designs.

Werner Damm Bernhard Josko Hardi Hungar Amir Pnueli

Published in: COMPOS (1997)

Keyphrases

real time
high speed
formal semantics
data sets
control system
low cost
semantic information
real world
computer vision
vision system
wordnet
design space