View of Towards formal verification of smart grids: An effective modelling approach and some first experimentation

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