Vérification formelle des propriétés graphiques des systèmes informatiques interactifs P Béger INSA de Toulouse, 2020 | 3 | 2020 |
Formal Verification of Graphical Properties of Interactive Systems D Prun, P Béger Proceedings of the ACM on Human-Computer Interaction 6 (EICS), 1-30, 2022 | 2 | 2022 |
Contribution à la formalisation des propriétés graphiques des systèmes interactifs pour la validation automatique P Béger, V Becquet, S Leriche, D Prun Afadl 2019, 18èmes journées Approches Formelles dans l’Assistance au …, 2019 | 2 | 2019 |
Vers la certification de programmes interactifs Djnn P Béger, S Leriche, D Prun Afadl 2018, 17èmes journées Approches Formelles dans l’Assistance au …, 2018 | 2 | 2018 |
A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops P Béger, S Leriche, D Prun Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 1 | 2020 |
A Survey on Formal Methods for Interactive Systems P Béger, S Leriche, D Prun FMIS 2019, 0 | | |