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

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)