Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
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.
Share this citation
Twitter
Email
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.
Copy Citation
Share
Overview
Research
Location
Additional Document Info
View All
Overview
cited authors
Rahman, Mohammad Ashiqur; Al-Shaer, Ehab
authors
Rahman, Mohammad Ashiqur
date/time interval
November 1, 2015 -
publication date
January 1, 2015
webpage
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000380423300049&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=e451fd656366bf1ec5554941920a9ccb
published in
2013 IEEE INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS (SMARTGRIDCOMM)
Book
Research
keywords
Advanced metering infrastructure
Energy & Fuels
Engineering
Engineering, Electrical & Electronic
SECURITY
Science & Technology
Technology
configuration synthesis
dependability
formal model
Location
Location
Miami, FL
Additional Document Info
Conference
IEEE International Conference on Smart Grid Communications (SmartGridComm)
publisher
IEEE
start page
289
end page
294