Login / Signup

BRACE: An assertion framework for debugging cyber-physical systems.

Kevin BoosChien-Liang FokChristine JulienMiryung Kim
Published in: ICSE (2012)
Keyphrases
  • information technology
  • distributed databases
  • data processing
  • physical world
  • cyber physical systems
  • cyber physical