VNUHCM Journal of

Engineering and Technology

An official journal of Viet Nam National University Ho Chi Minh City, Viet Nam since 2018

ISSN 2615-9872

Return to Article Details Towards formal verification of smart grids: An effective modelling approach and some first experimentation Download Download PDF