Efficient CTMC Model Checking of Linear Real−Time Objectives

類似資料

• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
  著者:: Taolue Chen, 等
  出版事項: (2011-03-01)
• Quantitative model-checking of controlled discrete-time Markov processes
  著者:: Tkachev, I, 等
  出版事項: (2016)
• Location Aggregation of Spatial Population CTMC Models
  著者:: Luca Bortolussi, 等
  出版事項: (2016-10-01)
• CTMC : Construction technology & management centre
  出版事項: ([200)
• An Analysis of CTMC Stochastic Models with Quarantine on the Spread of Tuberculosis Diseases
  著者:: Fatimatuzzahroh, 等
  出版事項: (2021-05-01)