Temps actuel 0:00
Durée 28:04
Chargé: 0.59%
Type de flux EN DIRECT
Temps restant 28:04
 
1x
  • Chapitres
  • descriptions désactivées, sélectionné
  • Sous-titres désactivés, sélectionné
  • default, sélectionné

Licence Creative Commons Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

21 mars 2023
00:28:04
Nombre de vues 21
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS (Rencontres de la communauté française de compilation)

  • Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération

Roméo LA SPINA (Université de Rennes 1, LANGAGE ET GÉNIE LOGICIEL, Institut national de recherche en informatique et en automatique)

Mots clés : analyseur automatique clap cnrs donnees flot formelle genie gpl hifi informatique institut iteration langage logiciel lvp national ordre parametre preuve recherche rennes romeo spina universite

0 commentaire

Supprimer définitivement votre commentaire ?