Bannière Recherche Recherche

Laboratoires.Ecoles, Collège et Formation doctorales 

Stratégie. Séminaires, colloques. Sciences et société

Réseaux et pôles d'excellence. Investissements d'avenir (Labex)

CLAP-Hi-Fi-LVP 2023 : Rencontres de la communauté française de compilation

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

    Licence Creative Commons A Formal Specification for Gated SSA

    21 mars 2023
    00:34:08
    Nombre de vues 16
    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)

    • A Formal Specification for Gated SSA

    Delphine DEMANGE (Université de Rennes 1, Inria, CNRS, IRISA)

    Mots clés : clap cnrs delphine demange formal gated gpl hifi inria irisa lvp rennes specification ssa universite

    Commentaire(s)

    Supprimer définitivement votre commentaire ?