TY  - JOUR
AU  - Akram, W
AU  - Niazi, MA
TI  - A formal specification framework for smart grid components
JF  - COMPLEX ADAPTIVE SYSTEMS MODELING
J2  - COMPLEX ADAP SYST MODEL
VL  - 6
PY  - 2018
IS  - 1
SN  - 2194-3206
DO  - 10.1186/s40294-018-0057-3
UR  - https://m2.mtmt.hu/api/publication/27644004
ID  - 27644004
LA  - English
DB  - MTMT
ER  -