itl
- 网络意大利里拉;独立测试实验室
itl-
Research on Allocation of Transmission Losses Using a Radial Equivalent Network Importing ITL
计入灵敏度的等值辐射网络损耗分摊方法研究
-
When I offered her the job , she leapt at itl .
当我给她提供这份工作的时候，她欣然接受。
-
Thus , by using the model checking algorithms for ITL and the translating rules defined in this paper , the model checking problem for initialized multirate hybrid systems can be solved .
利用区间时序逻辑的模型检查算法加上上述的转换规则，就可以解决初始化的多速率混合系统的模型检查问题。