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 |
|