F\'elix Ingrand

Identifiers

No identifiers captured yet.

Papers (2)

1. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis cs.RO · 2018 · author #2
2. A Verifiable and Correct-by-Construction Controller for Robot Functional Levels cs.RO · 2013 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Anthony Mallet 1 shared papers
• Lavindra de Silva 1 shared papers
• Mohammed Foughali 1 shared papers
• Rongjie Yan 1 shared papers
• Saddek Bensalem 1 shared papers