Article Dans Une Revue
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Année : 2010
Bertrand Jeannet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00786337
Soumis le : vendredi 8 février 2013-13:42:40
Dernière modification le : jeudi 4 avril 2024-21:23:12
Citer
X. Briand, Bertrand Jeannet. Combining control and data abstraction in the verification of hybrid systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2010, 29 (10, x-editorial-board =yes, x-international-audience =yes), ⟨10.1109/TCAD.2010.2066010⟩. ⟨hal-00786337⟩
64
Consultations
0
Téléchargements