POD - Research - CLAP-Hi-Fi-LVP 2023 : Rencontres de la communauté française de compilation - Execution-Time Opacity Problems In (Parametr…

Take Note

There is no note available for you for this video.

Log in to create a new one.

Disciplines

Types

Tags

perform 302 fle 292 sciences 290 techniques 290 filipé 284 fos 282 gricad 203 dsim 189 lig 159 soutenance 151 mathematiques 147 cpp 137 thèse 137 prepa inp 134 prepa des inp 133 uga 120 intercomprehension 114 mooc 103 cinema 102 romanofonia 101

Research

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

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

Added by: Gricad Vidéos
Updated on: April 5, 2023, 9:39 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)