共 50 条
- [35] Automated Functional Safety Analysis of Automated Driving Systems FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2018, 2018, 11119 : 35 - 51
- [40] Spatial variation and driving mechanism of soil organic carbon components in the alluvial/sedimentary zone of the Yellow River Journal of Geographical Sciences, 2021, 31 : 535 - 550