Sort by
Refine Your Search
-
Machines” in which we aim to develop methods for real-time control of magnetic fields in power and distribution transformers and rotating electrical machines. The goal is to bring new functionalities in
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions