Efficient CTMC Model Checking of Linear Real−Time Objectives

相似书籍

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