larbaoui

Sort by

Plus récent

Plus populaire

Formal analysis of the operating safety of a GPS Satellite by Probabilistic model checking

Computing Information Flow Using Symbolic-Model-Checking_.pdf

Safety Verification of Deep Neural Networks_.pdf

A calculus of mobile Real-Time processes

Presentation

Analyse formelle des protocoles cryptographiques