From AADL Architectural Models to Petri Nets: Checking Model Viability Conference Paper uri icon

publication date

  • March 1, 2009

published in

  •  

start page

  • 313

end page

  • 320