Searching for authors named "Remi Delmas" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

A framework for heterogeneous formal modeling and compositonal verification of avionics sytems
by Rémi Delmas, Virginie Wiels — In Proceedings of MEMOCODE 2004 (2004), OMNI
… Rémi Delmas, Virginie Wiels ONERA-CERT, 2 Av. E.Belin, 31055 Toulouse Cedex, France. email :{rdelmas…
Cited by 1 (1 self) – Add To MetaCart

Algorithmic Based Fault Tolerance Applied to High Performance Computing
by George Bosilca, Rémi Delmas, Jack Dongarra, Julien Langou — 2008
… Bosilca Department of Electrical Engineering and Computer Science, University of Tennessee Rémi Delmas…
Add To MetaCart

A Component Based Methodology for Description of Complex Systems. An Application to Avionics Systems
by Yamine Ait-ameur, Bruno d'Ausbourg, Frederic Boniol, Remi Delmas, Virginie Wiels
…In this paper, we present a component based methodology for the description of complex systems and its application to the field of avionics components design. Avionics design involves several engineering branches, namely physics, electronics and computational science. Three viewpoints are extracted …
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB