Serghei Verlan
IdRefMots clés
FR |
EN
Modèles de calcul
Langages formels
Universalité
Complétude computationelle
Réseaux (mathématiques)
Complétude, Théorème de
Calcul non-Conventionnel
Modèle de calcul
Fpga
Implémentation matérielle
Réseaux logiques programmables par l'utilisateur
Nanoréseaux (informatique)
Biologie moléculaire
Génétique
Molécules recombinées
Bioinformatique
Analyse statique
Vulnérabilités
Attaque logicielle
Logiciels -- Vérification