Axel Legay - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Thu 11 Oct 2018

Name: Axel Legay

Country: France

Affiliation: INRIA Rennes

Personal website: https://people.irisa.fr/Axel.Legay/

Contributions

MeTRiD 2019	Committee Member in Program Committee within the MeTRiD-track
SPIoT 2019	Committee Member in Program Committee within the SPIoT-track ADTLang: A Programming Language Approach to Attack Defense Trees Committee Member in Organizing Committee within the SPIoT-track
FASE 2019	Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
Show activities from other conferences