GSTDTAP

浏览/检索结果: 共3条,第1-3条 帮助

限定条件            
已选(0)清除 条数/页:   排序方式:
DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation 科技报告
来源:Center for International Climate and Environmental Research-Oslo (CICERO). 出版年: 2012
作者:  Håvaldsrud, Tormod;  Møller-Pedersen, Birger;  Solhaug, Bjørnar;  Stølen, Ketil
收藏  |  浏览/下载:3/0  |  提交时间:2019/04/05
Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels 科技报告
来源:Center for International Climate and Environmental Research-Oslo (CICERO). 出版年: 2011
作者:  Svendsen, Andreas;  Haugen, Øystein;  Møller-Pedersen, Birger
收藏  |  浏览/下载:6/0  |  提交时间:2019/04/05
Optimizing Alloy Models 科技报告
来源:Center for International Climate and Environmental Research-Oslo (CICERO). 出版年: 2011
作者:  Svendsen, Andreas;  Haugen, Øystein;  Møller-Pedersen, Birger
收藏  |  浏览/下载:4/0  |  提交时间:2019/04/05