-
An Object Oriented Requirements Capture and Analysis Environment
Rapport interne. -
POTS: An OO LOTOS Specification
Rapport interne. -
Microscopic modeling of support system for in-vehicle embedded systems
Contribution à un ouvrage. -
Conception et validation d'architectures distribuées temps réel
Rapport de contrat. -
De l'élicitation des besoins à la spécification formelle
Article dans revue scientifique avec comité de lecture. -
Vérification Observationnelle
Stage de DEA. Rapport de stage. -
Animating TLA Specifications
Colloque avec actes et comité de lecture. -
Water levels in the Amazon basin derived from the ERS 2 and ENVISAT radar alt...
ISI Document Delivery No.: 642EU Times Cited: 27 Cited Reference Count: 37 Cited References: Alsdorf DE, 2007, REV GEOPHYS, V45, DOI 10.1029/2006RG000197 *ANA, 2010, HYDR DAT... -
The Hydrological Modeling and Analysis Platform (HyMAP): Evaluation in the Am...
ISI Document Delivery No.: 058JA Times Cited: 9 Cited Reference Count: 47 Cited References: Alsdorf DE, 2007, REV GEOPHYS, V45, DOI 10.1029/2006RG000197 Arora VK, 1999, J... -
Assimilating in situ and radar altimetry data into a large-scale hydrologic-h...
ISI Document Delivery No.: 190XE Times Cited: 0 Cited Reference Count: 75 Cited References: Alfieri L, 2013, HYDROL EARTH SYST SC, V17, P1161, DOI 10.5194/hess-17-1161-2013... -
Report about the user experience with ISAEUS
Rapport de contrat. -
Intercomparison and validation of continental water level products derived fr...
ISI Document Delivery No.: 094JU Times Cited: 0 Cited Reference Count: 59 Cited References: Alsdorf D, 2001, GEOPHYS RES LETT, V28, P2671, DOI 10.1029/2001GL012962 Alsdorf D.,... -
From TOPEX/Poseidon to Jason-2/OSTM in the Amazon basin
ISI Document Delivery No.: 129XZ Times Cited: 1 Cited Reference Count: 36 Cited References: Altamimi Z., 2007, J GEOPHYS RES, V112 Arnault S, 2011, MAR GEOD, V34, P319, DOI... -
Performance Evaluation of a multiple Networked in-vehicle Embedded Architecture
Colloque avec actes et comité de lecture. internationale. -
A process to design and master the global vehicle electronic system architecture
Colloque avec actes et comité de lecture. internationale. -
In-vehicle embedded computer control systems
Colloque sur invitation. nationale. -
Le calcul de l'éclairement solaire sur plans inclinés
National audience -
prediction of proximal femur fracture : finite element modeling based on mech...
Femoral fractures caused by the osteoporosis become major problem of public health, and therefore, this subject becomes an increasingly important goal for both... -
Verification and Validation techniques used by EAST partners
Rapport de contrat. -
AIL_Transport, un langage pour la description d'architectures électroniques e...
Colloque sur invitation. nationale.
