Verification of Software Network Functions with No Verification Expertise

Thumbnail

Event details

Date and time 30.09.2020 16:30  
Place and room
Video-conference
Speaker Arseniy ZAOSTROVNYKH
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

Tags

EDIC

Event broadcasted in

Share