conf.researchr.org / Axel Legay

Not registered as user yet

Name: Axel Legay

Contributions

FormaliSE 2020PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019Author of Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata within the FormaliSE 2019-track
SPIN 2019Committee Member in Organizing Committee within the 26th International SPIN Symposium on Model Checking of Software-track