POD - Preuve Formelle D'Un Analyseur Flot De Donné…

Take Note

There is no note available for you for this video.

Log in to create a new one.

Disciplines

Types

Tags

perform 304 fle 290 sciences 290 techniques 290 filipé 284 fos 282 cpp 180 lig 170 mathematiques 163 soutenance 151 gricad 146 prepa inp 145 prepa des inp 139 thèse 135 mooc 119 innovation 114 sante 94 pedagogie 91 2a 87 dgd bapso 86

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

Added by: Gricad Vidéos
Updated on: April 5, 2023, 9:59 a.m.
Channel:
- Research
Type: Conferences
Main language: French
Discipline(s):
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Comment(s)