Sign in

A hybrid approach to cyber-physical systems verification.

Pratyush KumarDip GoswamiSamarjit ChakrabortyAnuradha AnnaswamyKai LampkaLothar Thiele
Published in: DAC (2012)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • cyber security
  • embedded systems
  • data mining
  • information technology
  • low cost
  • decision support system
  • critical infrastructure