Login / Signup

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations.

Leonard PetngaMark 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