01.11.18
Der Startschuss für Projekt "Hi-Digit Pro 4.0", in Zusammenarbeit mit Airbus Operations GmbH, VMT Vision Machine Technic Bildverarbeitung GmbH, Deutsches Zentrum für Luft- und Raumfahrt, fiel am 01. November 2018
10.10.18
Formal Methods Meet <Privacy>
04.10.18
Model-Based Design of Cyber Physical Systems
01.10.18
Das IFPT freut sich, Herrn M.Sc., M.Sc. Florian Kalscheuer am 01.10.2018 als neuen wissenschaftlichen Mitarbeiter begrüßen zu können.
01.10.18
Das IFPT freut sich, Herrn M.Sc. Lukas Bath am 01.02.2020 als neuen wissenschaftlichen Mitarbeiter begrüßen zu können.
28.09.18
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
27.09.18
Information Governance algorithmischer Entscheidungssysteme
11.09.18
Der Startschuss für das vom BMWi geförderte Projekt "MICHEL" fiel am 11. September 2018
04.09.18
15th International Conference on Quantitative Evaluation of SysTems
28.08.18
16th Annual Conference on Privacy, Security and Trust