[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models
Cadoret, Fabien, Borde, Etienne, Gardoll, Sebastien, Pautet, LaurentYear:
2012
DOI:
10.1109/iceccs20050.2012.6299202
File:
PDF, 4.64 MB
2012