Event Categories

Name
System verification
Farbe
Blue

Related Events

Title Status Starttime Endtime the whole day
Q/A preliminaries Scheduled 02.12.2020 10:00 02.12.2020 12:00 No
Q/A compositional verification Scheduled 09.12.2020 10:00 09.12.2020 12:00 No
Q/A refinement Scheduled 16.12.2020 10:00 16.12.2020 12:00 No
Q/A A marriage of verification and testing Scheduled 06.01.2021 10:00 06.01.2021 12:00 No
SysV: First recorded lecture will be available Scheduled 30.11.2020 10:00 30.11.2020 10:00 No
SysV: Second recorded lecture will be available Scheduled 07.12.2020 10:00 07.12.2020 10:00 No
SysV: Third recorded lecture will be available Scheduled 14.12.2020 10:00 14.12.2020 10:00 No
SysV: Fourth recorded lecture will be available Scheduled 04.01.2021 10:00 04.01.2021 10:00 No
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.