Skip to Main content Skip to Navigation
New interface
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 Connect in order to contact the contributor
Submitted on : Friday, February 8, 2013 - 1:42:40 PM
Last modification on : Wednesday, July 6, 2022 - 4:23:52 AM

Identifiers

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

Share

Metrics

Record views

62