unset title
>
Contact_plural
>
Lacroix
login
login
password
log in
cancel
search
Lacroix
lastname
Lacroix
firstname
Mathieu
organisation
Equipe AOC du LIPN, IUT de Villetaneuse
website
http://lipn.univ-paris13.fr/~lacroix/
old_uid
9822
responsibles_object
LIPN - titre à venir
Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems
MAFALDA : Une étude comparative et complète de la détection et de la classification des sophismes
Model-based High-level Integration of Heterogeneous Components for co-simulation
Introduction à la sémantique fonctorielle des théories algébriques généralisées
Raisonnement sur les modèles de jeux dynamiques à l’aide de logiques d’obstruction
Catégories différentielles et tangentes pour les algèbres sur une opérade
Quasi-synchronous communications and verification of distributed systems