-
MS
-
Professorship
-
Team
-
Employees
Prof. Dr. Peter Buchholz
(QAPL), April 2-3, 2016, Eindhoven (Netherlands). MATHMOD 2018, 9th Vienna International Conference on Mathematical Modelling, February 21 – 23, 2018, Vienna, Austria. Steering Committees Int. Conf. on Dependable [...] 2010, Essen (Germany), 2012 Kaiserslautern (Germany), 2014 Bamberg (Germany), 2016 Münster (Germany), 2018 (Erlangen), 2020 (Saarbrücken). Int. Conf. on Leveranging Applications of Formal Methods (IsoLA): …