Arnault Lapitre -

Not registered as user yet

Name:Arnault Lapitre

Contributions

VORTEX 2022	Author of HIBOU : Tooling Offline Runtime Verification against Interaction Models within the VORTEX 2022-track
FASE 2019	Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track