Sign in

Formal design of communication checkers for ICCP using UPPAAL.

Muhammad Salman MalikRobin BerthierRakesh B. BobbaRoy H. CampbellWilliam H. Sanders
Published in: SmartGridComm (2013)
Keyphrases
  • design methodology
  • design process
  • formal specification
  • model checking
  • databases
  • case study
  • user interface
  • engineering design
  • computer aided
  • formal model
  • communication systems