Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00786337
Contributor : Bertrand Jeannet <>
Submitted on : Friday, February 8, 2013 - 1:42:40 PM
Last modification on : Tuesday, February 9, 2021 - 3:24:16 PM

Identifiers

Collections

CNRS | INRIA | LIG | UGA

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⟩

Share

Metrics

Record views

233