Temporal Logic of Actions的意思|示意
美 / /
英 / /
行为的时间逻辑
Temporal Logic of Actions的网络常见释义
行为时序逻辑 因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。
逻辑 因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。
时序逻辑 因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。