Modal Contracts for Component-based Design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009
No file

Dates and versions

hal-00665205 , version 1 (01-02-2012)

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⟩
159 View
0 Download

Share

Gmail Facebook X LinkedIn More