Login / Signup

Computing a language-based guarantee for timing properties of cyber-physical systems.

Neil DhruvaPratyush KumarGeorgia GiannopoulouLothar Thiele
Published in: DATE (2014)
Keyphrases
  • cyber physical systems
  • cyber physical
  • information processing
  • physical world
  • cyber security