PhD Dissertation

dissertation_omar.pdf

Formal Verification of DC Distribution Networks