Login / Signup

Formal Throughput and Response Time Analysis of MARTE Models.

Gaogao YanXueyang ZhuRongjie YanGuangyuan Li
Published in: ICFEM (2014)
Keyphrases
  • response time
  • knowledge base
  • case study
  • quality of service
  • statistical models
  • formal models
  • neural network
  • data analysis
  • probabilistic model
  • model selection
  • formal model
  • formal analysis
  • analytical methods