Login / Signup

Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.

Kerianne H. GrossMatthew A. ClarkJonathan A. HoffmanEric D. SwensonAaron W. Fifarek
Published in: J. Aerosp. Inf. Syst. (2017)
Keyphrases
  • formal methods
  • formal analysis
  • data acquisition
  • relational databases
  • case study
  • knowledge acquisition