责任授权模型相关硕士博士期刊学术论文 - 信丰网

责任授权模型相关论文

DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述

Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问......

期刊

形式化描述语言责任授权模型 OBJECT-Z 分布式时态逻辑 Formal description language Obligation authoriz

看过本文同时还关注