退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用约束解决方案验证模态工作流程规范
Bride Hadrien; Kouchnarenko Olga; Peureux Fabien;
机译:带有RBAC机制和SoD约束的工作流的规范和验证
机译:语义约束规范和ebXML业务流程规范的验证
机译:网格工作流程规范和验证
机译:约束解决与数据的工作流网的模态规范解决
机译:具有数字约束的软件规范的自动验证
机译:数据密集型科学工作流程的参数化规范配置和执行
机译:概念工作流规范中的验证问题
机译:解决混合约束以验证软件模块的规格要求
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。