您要查找的是不是:
- finite run timed automata 时间自动机
- In the studied case the event-discrete simulation can thus be used to simulate all statical combination of strategies at the junctions in a finite run time. 在有计划的情形中事件- 不连续的模拟能如此在有限的奔跑联接时间用来模拟所有策略的静止组合。
- According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带,可以将时间自动机的无穷状态空间转化为有穷。
- The test or the test run timed out. 测试或测试运行超时。
- Can be used both at design time and at run time. 在设计时和运行时都可以使用。
- Gets or sets the input mask to use at run time. 获取或设置运行时使用的输入掩码。
- Objects of this type are bound at run time. 该类型的对象在运行时绑定。
- Shows how to load a workflow code file at run time. 演示如何在运行时加载工作流代码文件。
- Shows you how change print options at run time. 显示在运行时如何更改打印选项。
- It will actually be hidden at run time. 实际上,该项将在运行时隐藏。
- Finite Precision Timed Automata(FFFA) 有限精度时间自动机
- To view status messages at run time. 以查看运行时的状态消息。
- With a possible error at run time. 运行时可能会出现错误。
- Size is always known at run time. 大小在运行时始终为已知。
- Removing irrelevant atomic formulas for checking timed automata efficiently. In Proc. 因此,无关的原子约束是广泛存在的。
- How does a Web service work at run time? Web服务在运行时是如何工作的?
- This paper first briefly introduces timed automata, clock region, region equivalence and clock zone. 摘要首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。
- Would be available for binding only at run time. 将仅在运行时用于绑定。
- This can also be done at run time. 这也可以在运行时执行。
- This can be done at either design time or run time. 这可以在设计时或运行时完成。