Michaël Périn
IdRefMots clés
FR |
EN
Polyèdres
Analyse statique
Logiciels -- Vérification
Domaine abstrait
Preuve formelle
Coq
Géométrie algorithmique
Logique informatique
Recherche opérationnelle
Langages formels
Programmation linéaire
Protocoles cryptographiques
Modèle symbolique
Modèle computationnel
Chiffrement (informatique)
Adressage calculé (informatique)
Signatures électroniques
Interprétation abstraite
Programmation Linéaire Paramétrique
Polyèdres convexes