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 . 2013 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

Location

  • Miami, FL

Conference

  • IEEE International Conference on Smart Grid Communications (SmartGridComm)

publisher

  • IEEE

start page

  • 289

end page

  • 294