Formal Synthesis of Dependable Configurations for Advanced Metering Infrastructures Conference

Rahman, Mohammad Ashiqur, Al-Shaer, Ehab. (2015). Formal Synthesis of Dependable Configurations for Advanced Metering Infrastructures . 2015 IEEE INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS (SMARTGRIDCOMM), 289-294.

keywords

  • Advanced metering infrastructure
  • Energy & Fuels
  • Engineering
  • Engineering, Electrical & Electronic
  • SECURITY
  • Science & Technology
  • Technology
  • configuration synthesis
  • dependability
  • formal model

start page

  • 289

end page

  • 294