Efficient synthesis of robust models for stochastic systems

類似資料

• RODES: A robust-design synthesis tool for probabilistic systems
  著者:: Calinescu, R, 等
  出版事項: (2017)
• Designing robust software systems through parametric markov chain synthesis
  著者:: Kwiatkowska, M, 等
  出版事項: (2017)
• Precise Parameter Synthesis for Stochastic Biochemical Systems
  著者:: Češka, M, 等
  出版事項: (2014)
• Precise Parameter Synthesis for Stochastic Biochemical Systems
  著者:: Češka, M, 等
  出版事項: (2014)
• Precise Parameter Synthesis for Stochastic Biochemical Systems
  著者:: Ceska, M, 等
  出版事項: (2015)