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
-
. The research work will focus on enhancing GNSS localization under interference scenarios using 3D Geographical Information Systems (GIS) data; possible methods include, but are not limited to: Bayesian
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions