Login / Signup

Change and Delay Contracts for Hybrid System Component Verification.

Andreas MüllerStefan MitschWerner RetschitzeggerWieland SchwingerAndré Platzer
Published in: FASE (2017)
Keyphrases
  • model checking
  • supply chain
  • expert systems
  • face verification
  • formal verification
  • decision making
  • critical path
  • functional verification