AFADL 2019 - Actes des 18e journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels
![]()
A comme partie hal-02165690 Objet présenté à une conférence Pascal Béger, Valentin Becquet, Sébastien Leriche, Daniel Prun. Contribution à la formalisation des propriétés graphiques des systèmes interactifs pour la validation automatique. Afadl 2019, 18èmes journées Approches Formelles dans l’Assistance au Developpement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-02165690⟩
![]()
A comme partie hal-02375968 Objet présenté à une conférence Valentin Besnard. Unification de la Vérification et de l’Exécution Embarquée de Modèles. AFADL 2019, Jun 2019, Toulouse, France. pp.93 à 100. ⟨hal-02375968⟩
![]()
A comme partie hal-02391924 Objet présenté à une conférence Florian Faissole. Formalisation en Coq des erreurs d'arrondi de méthodes de Runge-Kutta pour les systèmes matriciels. AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-02391924⟩
