OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Delmas, Rémi"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

Delmas, Rémi and Garion, Christophe and Giet, Josselin. MOLOSS, un solveur pour la satisfiabilité en logique modale. (2018) In: Journées de l'Intelligence Artificielle Fondamentale (JIAF-2018), 13 June 2018 - 15 June 2018 (Amiens, France).

Clabaut, Mathieu and Ge, Ning and Breton, Nicolas and Jenn, Eric and Delmas, Rémi and Fonteneau, Yoann. Industrial grade model checking: use Cases, constraints, tools and applications. (2016) In: ERTS2 2016 (Embedded Real Time Software and Systems), 27 January 2016 - 29 January 2016 (Toulouse, France).

This list was generated on Tue Sep 22 03:26:47 2020 CEST.