Login / Signup

Non-linear Continuous Systems for Safety Verification.

Andrew SogokonKhalil GhorbalTaylor T. Johnson
Published in: ARCH@CPSWeek (2016)
Keyphrases
  • management system
  • intelligent systems
  • building blocks
  • data mining
  • retrieval systems
  • formal methods
  • information retrieval
  • information retrieval systems
  • distributed systems
  • model checking
  • safety critical