VNUHCM Journal of

Engineering and Technology

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

ISSN: 3126-2805

Register Login

Search

Search articles for

Advanced filters

Published After

Published Before

By Author

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

1924-1936 2023-09-30

Tuan Cong Bui, Hoai Thang Bui, Van Liem Nguyen, Dinh Tuyen Nguyen, Duy Anh Nguyen, M. Huan Luong

PDF XML

Showing 1 to 1 of 1 Entries