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

Contributions

FASE 2019	Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL
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
Show activities from other conferences