Have a personal or library account? Click to login
Formal validation for microgrid reliability based on TLA+ Cover

Formal validation for microgrid reliability based on TLA+

Open Access
|Feb 2026
DOI: https://doi.org/10.2478/jee-2026-0006 | Journal eISSN: 1339-309X | Journal ISSN: 1335-3632
Language: English
Page range: 55 - 67
Submitted on: Nov 8, 2025
|
Published on: Feb 18, 2026
In partnership with: Paradigm Publishing Services
Publication frequency: 6 issues per year

© 2026 Muhammad Nasar, János Csatár, published by Slovak University of Technology in Bratislava
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.