Skip to Main content Skip to Navigation
Conference papers

Modal Contracts for Component-based Design

Complete list of metadata

https://hal.inria.fr/hal-00665205
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Wednesday, February 1, 2012 - 1:58:09 PM
Last modification on : Monday, July 4, 2022 - 8:48:21 AM

Identifiers

  • HAL Id : hal-00665205, version 1

Citation

Gregor Gössler, Jean-Baptiste Raclet. Modal Contracts for Component-based Design. SEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303. ⟨hal-00665205⟩

Share

Metrics

Record views

154