Login / Signup

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory.

Bingqing XuLichen Zhang
Published in: GreenCom/iThings/CPScom (2013)
Keyphrases
  • formal specification
  • formal methods
  • cyber physical systems
  • model checking
  • process algebra
  • reverse engineering
  • cyber physical
  • high speed
  • database
  • real time
  • data model
  • low cost
  • cyber security