Hardware/Software Co-Verification: Models and Methods

ISSN： 0232-9298

Source： Systems Analysis Modelling Simulation, Vol.42, Iss.9, 2002-01, pp. : 1391-1417

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

Abstract

Related content

Numerical methods for Vlasov-Lorentz models

ESAIM: Proceedings, Vol. 10, Iss. issue, 2001-01 ,pp. : 201-210

Edp Sciences

Access to resources Recommend Favorite

Computational Statistical Methods for Social Network Models

By Hunter David R. Krivitsky Pavel N. Schweinberger Michael

Journal of Computational and Graphical Statistics, Vol. 21, Iss. 4, 2012-10 ,pp. : 856-882

Taylor & Francis Ltd

Access to resources Recommend Favorite

Special Issue on Nonlinear Non-Gaussian Models and Related Filtering Methods

By Kitagawa G. Higuchi T.

Annals of the Institute of Statistical Mathematics, Vol. 53, Iss. 1, 2001-03 ,pp. : 3-3

Springer Publishing Company

Access to resources Recommend Favorite

Parameter Estimation in General State-Space Models using Particle Methods

By Doucet Arnaud

Annals of the Institute of Statistical Mathematics, Vol. 55, Iss. 2, 2003-01 ,pp. : 409-422

Springer Publishing Company

Access to resources Recommend Favorite

Feedback methods for inverse simulation of dynamic models for engineering systems applications

By Murray-Smith David J.

Mathematical and Computer Modelling of Dynamical Systems, Vol. 17, Iss. 5, 2011-10 ,pp. : 515-541

Taylor & Francis Ltd

Access to resources Recommend Favorite