Combining control and data abstraction in the verification of hybrid systems

X. Briand 1 Bertrand Jeannet 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Article dans une revue
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2010, 29 (10, x-editorial-board =yes, x-international-audience =yes), 〈10.1109/TCAD.2010.2066010〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00786337
Contributeur : Bertrand Jeannet <>
Soumis le : vendredi 8 février 2013 - 13:42:40
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03

Identifiants

Collections

Citation

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, IEEE, 2010, 29 (10, x-editorial-board =yes, x-international-audience =yes), 〈10.1109/TCAD.2010.2066010〉. 〈hal-00786337〉

Partager

Métriques

Consultations de la notice

123