Login / Signup
Model-Based Design and Formal Verification Processes for Automated Waterway System Operations.
Leonard Petnga
Mark Austin
Published in:
Syst. (2016)
Keyphrases
</>
formal verification
model checking
user interface
design process
computer aided
automated verification
data driven
knowledge based systems
engineering design