“... to a system. Formal methods allow for their quantitative analysis and synthesis, but the properties...”
Get full text

“.... Nevertheless, reusing these information systems that were initially designed for accounting purposes and whose...”
Get full text

“... Hessienne. === This thesis aims at developing dedicated methods for quantitative analysis of Tissue...”
Get full text

“... simples ou réseaux à commande de phase, considérées intéressantes en termes de flexibilité du système pour...”
Get full text

“... communication repertoire. By designing and applying a multifactorial approach, we showed for the first time...”
Get full text

“... the possibilities in editing and film analysis. We finally designed a data annotation tool and a format to easily...”
Get full text

“... dispositifs innovants nécessitent un système de communication fiable. Plus particulièrement, il s’agit...”
Get full text