Safety Verification of Deep Neural Networks_.pdf

il y a 2 ans 91 Vues

A calculus of mobile Real-Time processes

il y a 6 ans 219 Vues

Presentation

il y a 7 ans 329 Vues

Analyse formelle des protocoles cryptographiques

il y a 8 ans 626 Vues