Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models

(1, 2) , (1, 2) , , (1, 2)
1
2
Not file

Dates and versions

hal-02286400 , version 1 (13-09-2019)

Identifiers

  • HAL Id : hal-02286400 , version 1

Cite

Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models. ICECCS 2012, Jul 2012, Paris, France. ⟨hal-02286400⟩
17 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More