Login / Signup

Early Stage Verification and Validation of Cyber-Physical Systems through Requirements Driven Probabilistic Certificate of Correctness Metric.

Alex Van der VeldenDavid FoxJeff Haan
Published in: CSDM (2013)
Keyphrases
  • early stage
  • cyber physical systems
  • cyber physical
  • bayesian networks
  • physical world
  • cyber security
  • association rules
  • access control
  • cloud computing