Sort by
Refine Your Search
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
-Law No. 60/2018, of August 3, all of which the formalities must be fulfilled there until the contracting act. Activity Outline: The research fellow will contribute to implementing the work plan defined
-
been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop essentially new methods
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in