Statistical model checking of stochastic component-based systems

Lianyi Zhang, Kueiming Lo, Duzheng Qing, Weijing Wang, Lixin Yu
  • Journal of Statistical Computation and Simulation, April 2017, Taylor & Francis
  • DOI: 10.1080/00949655.2017.1320401

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1080/00949655.2017.1320401