VNUHCM JOURNAL OF ENGINEERING AND TECHNOLOGY

A sub-journal of VNUHCM Journal of Science and Technology since 2018

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