A Model-Based Transformation Process to Validate and Implement High-Integrity Systems Conference Paper uri icon

publication date

  • March 1, 2011

published in

  •  

start page

  • 67

end page

  • 74

volume

  • 7