Article Dans Une Revue
Computer Languages, Systems and Structures
Année : 2015
Joelle Sulian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01369946
Soumis le : mercredi 21 septembre 2016-16:52:14
Dernière modification le : lundi 20 novembre 2023-11:44:19
Citer
Assalé Adjé, Pierre-Loïc Garoche. Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Computer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.12.002⟩. ⟨hal-01369946⟩
Collections
106
Consultations
0
Téléchargements