-
Etude et tests d'interopérabilité des différentes implémentations d'IPsec sou...
Rapport de contrat. -
Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés...
Rapport de contrat. -
Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés...
Rapport de contrat. -
Simulateur d'architectures opérationnelles de contrôle-commande
Rapport interne. -
A fast and elementary algorithm for digital plane recognition
Rapport interne. -
Innermost sufficient completeness
Rapport interne. -
Transformation systématique de spécifications UML en B
Rapport interne. -
Adding Features to Component-Based Systems
Rapport interne. -
Analysis of Data Acquisition Methods and Components
Rapport interne. -
An approach for the verification of UML models using B
Rapport interne. -
A Rule Language for Interaction
presented at Joint Annual ERCIM/CoLogNet Workshop on Constraint and Logic Programming, Budapest, Hungary.. Rapport interne. -
Proving weak termination also provides the right way to terminate
Article soumis a European joint conference on Theory And Practice of Software (ETAPS) 2004.. Rapport interne. -
NORCAMA: Change Analysis in SAR Time Series by Likelihood Ratio Change Matrix...
This paper presents a likelihood ratio test based method of change detection and classification for synthetic aperture radar (SAR) time series, namely NORmalized Cut...
