×

丹麦航空公司

swMATH ID: 20094
软件作者: 尤里·古里维奇
描述: DKAL(分布式知识授权语言)是一种分布式授权策略语言。此项目包含用于运行DKAL策略的引擎。它主要在F#中实现。
主页: http://dkal.codeplex.com/
相关软件: 数据日志;粘合剂;斯莫德尔斯;自旋;z3(零3);BoogiePL公司;规格#;SLAM公司;雅高;迷你ML;勒图尔;AURA公司
引用于: 18文件

按年份列出的引文