Login / Signup

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety.

Anitha MurugesanOleg SokolskySanjai RayadurgamMichael W. WhalenMats Per Erik HeimdahlInsup Lee
Published in: ICCPS (2014)
Keyphrases
  • real time
  • statistical analysis
  • design process
  • image analysis
  • medical data
  • genetic algorithm
  • data analysis
  • multiresolution
  • building blocks
  • medical imaging
  • quantitative analysis