All Stories

  1. A model-based approach for analysing network communication timeliness in IMA systems at concept level
  2. A model-driven approach to survivability requirement assessment for critical systems