Ricerca di contatti, progetti,
corsi e pubblicazioni

p4v: Practical Verification for Programmable Data Planes

Informazioni aggiuntive

Autori
Cascaval C., Foster N., Hallahan W., Lee J., Liu J., McKeown N., Schlesinger C., Sharif M., Soulé R., Wang H.
Tipo
Atti di conferenza
Anno
2018
Lingua
Inglese
Editore
ACM SIGCOMM
Nome conferenza
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM ’18)