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 Execution-time opacity problems in (parametric) timed automata

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

    • Execution-time opacity problems in (parametric) timed automata

    Dylan MARINHO (Laboratoire Lorrain de Recherche en Informatique et ses Applications)

    Mots clés : applications automata clap cnrs dylan execution-time gpl hifi informatique laboratoire lorrain lvp marinho opacity parametric problems recherche

    Commentaire(s)

    Supprimer définitivement votre commentaire ?