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

Nancy G. Leveson

Published in: FMSP (2000)

Keyphrases

design process
control system
user interface
case study
optimal design
formal methods
formal specification language
database
neural network
computer aided
development process
data sets
life cycle
design tools
process control
product development