Normalisation vérifiée du langage Lustre

Translated title of the contribution: Luster language verified standardization

Research output: Contribution to conferencePaperpeer-review

Translated title of the contributionLuster language verified standardization
Original languageFrench
Pages117-133
Number of pages17
Publication statusPublished - 1 Jan 2021
Externally publishedYes
Event32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021 - Virtual, Online
Duration: 7 Apr 20219 Apr 2021

Conference

Conference32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021
CityVirtual, Online
Period7/04/219/04/21

Cite this