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

Fabien Cadoret; Etienne Borde; Sébastien Gardoll; Laurent Pautet

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

Fabien Cadoret ^{1, 2} Etienne Borde ^{1, 2} Sébastien Gardoll Laurent Pautet ^{1, 2}

1 ACES - Autonomic and Critical Embedded Systems

LTCI - Laboratoire Traitement et Communication de l'Information

2 INFRES - Département Informatique et Réseaux

Document type :

Conference papers

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02286400
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 3:41:48 PM
Last modification on : Tuesday, October 8, 2019 - 1:44:06 PM

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

Identifiers

Collections

Citation

Export

Metrics

4

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

4

Contact