[2026]
Formal verification of circuit-breaker fleets under two downstream overload semantics
Mathematical and Software Engineering 12(1–2), pp. 13–21 · ISSN 2367-7449
Faculty of Mathematics and Computer Science · University of Bucharest
Faculty of Cybernetics, Statistics and Economic Informatics · ASE Bucharest
Faculty of Mathematics and Computer Science · University of Bucharest
POLITEHNICA Bucharest · Pitesti University Center · Interdisciplinary Doctoral School