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

March 21, 2023
Duration: 00:28:04
Number of views 9
Addition in a playlist 0
Number of favorites 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)

Tags: 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

 Infos

Comment(s)

Loading…