Model-checking Tool

• 模型检测工具

Model-checking Tool的用法和样例：

例句

1. We point out here that two wavelength excitation spectroscopy is a powerful non-destructive tool to reveal nonradiative defects in optoelectronic devices.
   因此，双光源激发萤光光谱法在用来探讨光学元件中的缺陷时可以说是相当有用的非破坏性检测工具。