Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models - Département Informatique et Réseaux
Communication Dans Un Congrès Année : 2012

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02286400 , version 1

Citer

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⟩
37 Consultations
0 Téléchargements

Partager

More