Lien vers la page du documentCopiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.
Titre :
JSI 2019 : intervention de Sophie Quinton.
Légende - Résumé :
Journées scientifiques Inria (JSI) du 5 au 7 juin 2019 à Lyon. Session 1 : La recherche scientifique dans l'anthropocène : énergies, environnement MakeSEnS, la responsabilité sociétale et environnementale d'Inria : Sophie Quinton de l'équipe-projet SPADES. Sophie Quinton s’intéresse aux méthodes formelles pour la conception et la vérification de systèmes embarqués, et plus particulièrement aux aspects temps-réel. Elle travaille notamment à un cadre formel pour vérifier par ordinateur la correction de méthodes d’analyse de propriétés temps-réel.