OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Concordia University (CANADA)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 9.

Liscouët, Jonathan and Pollet, Félix and Jézégou, Joël and Budinger, Marc and Delbecq, Scott and Moschetta, Jean-Marc A methodology to integrate reliability into the conceptual design of safety-critical multirotor unmanned aerial vehicles. (2022) Aerospace Science and Technology, 127. 107681. ISSN 1270-9638

Taghavi, Mona and Bentahar, Jamal and Bakhtiyari, Kaveh and Hanachi, Chihab New Insights Towards Developing Recommender Systems. (2018) The computer journal, 60 (7). 319-348. ISSN 0010-4620

Teisserenc, Roman and Lucotte, Marc and Houel, Stéphane Terrestrial organic matter biomarkers as tracers of Hg sources in lake sediments. (2010) Biogeochemistry, 103 (1-3). 235-244. ISSN 0168-2563

Ouellet, Jean-François and Lucotte, Marc and Teisserenc, Roman and Paquet, Serge and Canuel, René Lignin biomarkers as tracers of mercury sources in lakes water column. (2009) Biogeochemistry, 94 (5). 123-140. ISSN 0168-2563

Caron, Sébastien and Lucotte, Marc and Teisserenc, Roman Mercury transfer from watersheds to aquatic environments following the erosion of agrarian soils: A molecular biomarker approach. (2008) Canadian journal of soil science, 88 (5). 801-811. ISSN 1918-1841

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat TURTLE-P: a UML profile for the formal validation of critical and distributed systems. (2006) Software and Systems Modeling, 5 (4). 449-466. ISSN 1619-1366

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences. (2005) In: CFIP 2005 - Colloque Francophone sur l'Ingénierie des Protocoles, 29 March 2005 - 1 April 2005 (Bordeaux, France).

Apvrille, Ludovic and Courtiat, Jean-Pierre and Lohr, Christophe and Saqui-Sannes, Pierre de TURTLE: A real-time UML profile supported by a formal validation toolkit. (2004) IEEE Transactions on Software Engineering, 3 (7). 473-487. ISSN 0098-5589

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Sénac, Patrick and Lohr, Christophe Verifying service continuity in a satellite reconfiguration procedure: application to a satellite. (2004) Automated Software Engineering, 1 (2). 167-191. ISSN 0928-8910

This list was generated on Fri Jun 14 13:08:26 2024 CEST.