Login / Signup
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System.
Kerianne H. Gross
Aaron W. Fifarek
Jonathan A. Hoffman
Published in:
HASE (2016)
Keyphrases
</>
formal methods
control system
artificial intelligence
process algebra
formal analysis
knowledge based systems
formal specification language
databases
development lifecycle
controller design
formal specification
design process
model checking
fuzzy logic
user interface
relational databases
database systems
case study