Aurélien Lamercerie. Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems ). In Pascale Sébillot, Vincent Claveau, editors, Actes de la Conférence CORIA-TALN-RJC - Volume 2 - Démonstrations, articles des Rencontres Jeunes Chercheurs, ateliers DeFT, Rennes, France, May 14-18, 2018. pages 41-54, ATALA, 2018. [doi]
Abstract is missing.