Frédéric Jouault - MODELS 2022

Sun 23 - Fri 28 October 2022 Montréal, Canada

Registered user since Thu 10 Sep 2020

Name:Frédéric Jouault

Country:France

Affiliation: ERIS Team, ESEO , France

Contributions

2022

MODELS

Feedback on the Formal Verification of UML Models in an Industrial Context: The Case of a Smart Device Life Cycle Management System
Practical Multiverse Debugging through User-defined Reductions: Application to UML Models
A cross-technology benchmark for incremental graph queries

Show activities from other conferences

MODELS 2022-profile
View general profile