共 50 条
- [41] DEVELOPMENT OF A REQUIREMENTS CLASSIFICATION SCHEME FOR AUTOMATED SUPPORT OF SOFTWARE-DEVELOPMENT ADVANCES IN CLASSIFICATION RESEARCH, 1991, : 147 - 151
- [42] AutoEM: a software for automated acquisition and analysis of nanoparticles Journal of Nanoparticle Research, 2019, 21
- [47] Zap: Automated theorem proving for software analysis LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 2 - 22
- [49] Automated Security Analysis of IoT Software Updates INFORMATION SECURITY THEORY AND PRACTICE, WISTP 2019, 2020, 12024 : 223 - 239
- [50] SOFTWARE FOR AUTOMATED ANALYSIS OF KINEMATICS OF CUTTING PROCESS OBRABOTKA METALLOV-METAL WORKING AND MATERIAL SCIENCE, 2008, (01): : 18 - 19