Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models Conference Paper uri icon

publication date

  • July 1, 2012

published in

  •  

start page

  • 67

end page

  • 76