中英▼
go top

网络释义

  Temporal Logic of Actions

因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。

基于2010个网页-相关网页

  TLA

因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。

基于3个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定