共 50 条
- [13] Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking 2013 22ND ASIAN TEST SYMPOSIUM (ATS), 2013, : 233 - 238
- [15] Automatic functional test program generation for pipelined processors using model checking SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 99 - 103
- [17] Model checking for a general linear model with nonignorable missing covariates Acta Mathematicae Applicatae Sinica, English Series, 2012, 28 : 99 - 110
- [18] Model checking for a general linear model with nonignorable missing covariates ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, 2012, 28 (01): : 99 - 110
- [19] Model Checking for Partial Linear Model with Right Censored Response 2012 IEEE FIFTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2012, : 1017 - 1020