attribute based access control; constraints; language;
机译:任务数学:基于约束的任务规范的域特定语言
机译:势在必行与陈述约束规范语言:受控实验
机译:一系列用于体系结构约束规范的语言
机译:朝基于属性的约束规范语言
机译:基于属性的访问控制与云IaaS中的应用程序的约束。
机译:知道我们在做什么:为什么规范治疗方法对言语病理学中基于证据的实践至关重要
机译:Etasl / eTC:使用表达式图的基于约束的任务说明语言和机器人控制器