巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。

The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.

youdao

交互操作是一种容器，它在时序图中以合并片断的方式对您的交互片断进行分组。

An interaction operand is a container that groups your interaction fragments in a combined fragment within a sequence diagram.

youdao

本文提出一种异步时序电路设计的符号卡诺图的新方法。

This paper presents a new method of asynchronous design is illustrated by the symbolic Karnaugh map.

youdao