University of Delaware Newark DE USA;
Oak Ridge National Lab Oak Ridge TN USA;
OpenMP; Validation and Verification; Testsuite;
机译:模块化测试套件,用于电磁兼容应用中的电磁求解器的验证和验证
机译:用DEVS-Suite进行形式验证和确认:OSPF案例研究
机译:验证和验证医疗设备的关键
机译:OpenMP 4.5设备卸载的验证和验证套件
机译:OpenMP 4.5验证和验证TestSuite:用于卸载功能的设计和实现
机译:时钟频率对节能型资源受限物联网设备的高安全密码密码套件性能的影响
机译:Openmp 3.1验证测试套件