@inproceedings{lamercerie-2018-analyse, title = "Analyse formelle d`exigences en langue naturelle pour la conception de syst{\`e}mes cyber-physiques (Formal analysis of natural language requirements for the design of cyber-physical systems )", author = "Lamercerie, Aur{\'e}lien", editor = "S{\'e}billot, Pascale and Claveau, Vincent", booktitle = "Actes de la Conf{\'e}rence TALN. Volume 2 - D{\'e}monstrations, articles des Rencontres Jeunes Chercheurs, ateliers DeFT", month = "5", year = "2018", address = "Rennes, France", publisher = "ATALA", url = "https://aclanthology.org/2018.jeptalnrecital-recital.4/", pages = "41--54", language = "fra" }