共 50 条
- [42] Verification of the Mathematical Model of BLDC Motor in Simulink using Passport and Experimental Data PROCEEDINGS OF 2019 XXII INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND MEASUREMENTS (SCM), 2019, : 208 - 210
- [45] Generation and verification of learned stochastic automata using k-NN and statistical model checking Applied Intelligence, 2022, 52 : 8874 - 8894
- [49] Shape estimation of subcutaneous adipose tissue using an articulated statistical shape model COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, 2018, 6 (01): : 51 - 58
- [50] Parameter Estimation of Rule-based Models Using Statistical Model Checking 2016 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), 2016, : 1453 - 1459