Jessy Colonval

2019 (1)

• inproceedings - Formalisation et validation d'une méthode de construction de systèmes de blocs
  18èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2019) / Toulouse, France (2019, Pages pages 51 - 58)
  Colonval, Jessy | De Boutray, Henri
  
  pdf | bibtex@inproceedings{088ad32f-19ce-4901-a28f-f6468539c5ad, title = {Formalisation et validation d'une m\'ethode de construction de syst\`emes de blocs}, author = {Colonval, Jessy and De Boutray, Henri}, year = {2019}, address = {Toulouse, France}, booktitle = {18\`emes Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2019)}, month = {jun}, pages = {51 - 58}, url = {https://publiweb.femto-st.fr/tntnet/entries/16074/documents/author/data} }