已收录 268921 条政策

分类导航

效力级别
发布时间

2019(1)
发布机构
学科类别

Checking,Distributed(1)

Generation(1)

Model(1)

Model,Maude,Formal(1)

Program(1)

Specification(1)

Systems,Consistency(1)

Transaction(1)

Verification,Correct-By-Construction(1)

and(1)
文种类型
地区
时效性

检索结果

已选条件:

and

2019

<符合条件的数据共：1条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

颁布单位： | 颁布时间：2019 | 实施时间：2019 | 学科分类：[Model, Checking,Distributed, Transaction, Systems,Consistency, Model,Maude,Formal, Specification, and, Verification,Correct-By-Construction, Program, Generation]

预览 | 原文链接 [浏览：72 下载：16]