Conference Papers
Year : 2009
Gregor Gössler : Connect in order to contact the contributor
https://inria.hal.science/hal-00665205
Submitted on : Wednesday, February 1, 2012-1:58:09 PM
Last modification on : Tuesday, November 21, 2023-3:29:23 AM
Dates and versions
Identifiers
- HAL Id : hal-00665205 , version 1
Cite
Gregor Gössler, Jean-Baptiste Raclet. Modal Contracts for Component-based Design. SEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303. ⟨hal-00665205⟩
Collections
159
View
0
Download