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

Fabien Cadoret, Etienne Borde, Sbastien Gardoll, Laurent Pautet

Browse the full ICECCS paper archive.