Florent Jacquemard
IdRefMots clés
FR |
EN
Informatique musicale
Automates d'arbres
Séparation de voix
Stream
Analyse automatique de partition
Polyphonie (musique)
Antescofo (logiciel)
Traitement du signal
Structures de données (informatique)
Programmation par contraintes
Logiciels -- Vérification
Sécurité
Virtualisation
Politiques de sécurité
Détection d'intrusion
Langages formels
Langages temporels
Systèmes virtuels (informatique)
Systèmes informatiques -- Mesures de sûreté
Contraintes