Rechercher une ressource pédagogique : vérification automatique

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
22.03.2017
Vérifier la sécurité de nos communications
Description : Quand nous échangeons des messages numériques, nous sommes persuadés de communiquer avec l'interlocuteur que nous avons choisi. Pour s'en assurer réellement, il faut mettre en place des protocoles de communication sécurisés. Mais même en utilisant des canaux sûrs, cela peut ne pas suffire comme ...
  • protocole de communication
  • protocole cryptographique
  • sécurité réseau
  • algorithmes de chiffrement
  • algorithmes symétriques
  • algorithmes asymétriques
  • algorithmes à clé publique
  • vérification automatique
  • fuscia
Canal-U
Canal-U
03.07.2014
Test et vérification automatique pour systèmes musicaux interactifs
Description : Le rôle d’un système musical interactif est de jouer d’égal à égal avec des musiciens humains. Pour cela, il doit réagir en temps réel au flux audio produit par les musiciens, suivant une « partition augmentée » écrite dans un langage spécialisé qui décrit en particulier des aspects temporels, des ...
  • test et vérification automatique
  • système musical interactif