Friday 20 October 2023
Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber and Marieke Huisman had their paper 'Deductive Verification of Parameterized Embedded Systems modeled in SystemC' accepted for VMCAI 2024
More recent news
Mon 1 Jul 2024Two new PhD students started at FMT
Mon 10 Jun 2024Papers of the Month: June
Tue 21 May 2024UT and Central Government launch Digital Design & Architecture course
Fri 3 May 2024Papers of the Month: May 2024
Tue 23 Apr 20242nd place of student teams at VerifyThis 2024