Automated Formal Verification of Software Network Functions
Event details
| Date | 21.03.2024 |
| Hour | 17:00 |
| Speaker | Solal Vincenzo PIRELLI |
| Location | Online |
| Category | Thesis defenses |
Thesis Director: Prof. G. Candea,
Computer and Communication Sciences doctoral program
Thesis Nr. 9541
To take part in the public defense, please contact directly the speaker
Practical information
- General public
- Free