Verification of Software Network Functions with No Verification Expertise
Event details
| Date | 30.09.2020 |
| Hour | 16:30 |
| Speaker | Arseniy ZAOSTROVNYKH |
| Location |
Video-conference
|
| Category | Thesis defenses |
Thesis Directors: Prof. A. Argyraki, Prof. G. Candea
Computer and Communication Sciences doctoral program
Thesis Nr. 10169
To join the videoconference, please contact directly the speaker
Practical information
- General public
- Free