Login / Signup
Operation-oriented specification for integrated control logic development.
Kristofer Bengtsson
Bengt Lennartson
Chengyin Yuan
Petter Falkman
Stephan Biller
Published in:
CASE (2009)
Keyphrases
</>
case study
software engineering
database
control system
development process
real time
optimal control
production processes
knowledge based systems
data acquisition
control strategy
classical logic
operational semantics
state machine