Inproceedings,

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

, , , and .
ICECCS, page 67-76. IEEE Computer Society, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews