共 50 条
- [21] Test Case Generation using Model Checking for Software Components Deployed into New Environments ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 57 - 66
- [22] Fitting a defect non-linear model with or without prior, distinguishing nuclear reaction products as an example REVIEW OF SCIENTIFIC INSTRUMENTS, 2017, 88 (11):
- [23] HPLC SEPARATION OF SOME CHARACTERISTIC COMPONENTS IN REACTION MIXTURES OF DISACCHARIDES WITH AMINES - MODEL SYSTEMS FOR MILK AND CEREAL PRODUCTS ZEITSCHRIFT FUR LEBENSMITTEL-UNTERSUCHUNG UND-FORSCHUNG, 1992, 194 (05): : 431 - 433
- [27] Targetry for 48V production and the nuclear model calculation on the charge particle induced reaction on Ti target Journal of Radioanalytical and Nuclear Chemistry, 2012, 293 : 7 - 12
- [30] Reaction Electronic Flux: A New Concept To Get Insights into Reaction Mechanisms. Study of Model Symmetric Nucleophilic Substitutions JOURNAL OF PHYSICAL CHEMISTRY A, 2008, 112 (46): : 11801 - 11807