Creative Commons license Execution-time opacity problems in (parametric) timed automata

March 21, 2023
Duration: 00:25:34
Number of views 3
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)

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

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

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

 Infos

Comment(s)

Loading…