Formal analysis of power electronic systems

Publication
International Conference on Formal Engineering Methods