Completeness in formal specification language design for process-control systems.

Ernst-Rüdiger Olderog Anders P. Ravn

Published in: FMSP (2000)

Keyphrases

design process
control system
case study
building blocks
real time
multi agent
computer aided
process oriented
databases
artificial intelligence
temporal logic
optimal design
process control
formal methods
formal specification language