Probabilistic verification of a biodiesel production system using statistical model checking

Author：    

Publisher： Taylor & Francis Ltd

ISSN： 1387-3954

Source： Mathematical and Computer Modelling of Dynamical Systems, Vol.20, Iss.5, 2014-09, pp. : 452-469

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach

By  

ITM Web of conferences, Vol. 17, Iss. issue, 2018-02 ,pp. : 03026-03026

Edp Sciences

Access to resources Recommend Favorite

Probabilistic Analysis Using High Dimensional Model Representation and Fast Fourier Transform

By Rao B. N.   Chowdhury Rajib  

International Journal for Computational Methods in Engineering Science and Mech, Vol. 9, Iss. 6, 2008-11 ,pp. : 342-357

Taylor & Francis Ltd

Access to resources Recommend Favorite

Using Pseudo Variables in Probabilistic Survivability Model for Powder-Compacted Parts

By Ahi Payman  

International Journal for Computational Methods in Engineering Science and Mech, Vol. 14, Iss. 2, 2013-02 ,pp. : 116-123

Taylor & Francis Ltd

Access to resources Recommend Favorite

Minimum distance regression model checking

By Koul H.L.   Ni P.  

Journal of Statistical Planning and Inference, Vol. 119, Iss. 1, 2004-01 ,pp. : 109-141

Elsevier

Access to resources Recommend Favorite

Strong Statistical Convergence in Probabilistic Metric Spaces

By Sencimen C.  

Stochastic Analysis and Applications, Vol. 26, Iss. 3, 2008-05 ,pp. : 651-664

Taylor & Francis Ltd

Access to resources Recommend Favorite