退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用Statecall策略语言将静态模型检查与动态执行相结合
Anil Madhavapeddy;
机译:动态语言的即时静态类型检查
机译:在使用控制授权模型中静态执行静态职责分离策略
机译:Java建模语言更快,更完整的扩展静态检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:黏附于表面的红细胞的强制分离:静力学和动力学
机译:通过静态验证动态检查来强制执行资源限制
机译:结合静态分析和模型检验进行软件分析
机译:具有动态语言和脚本的静态可扩展性模型
机译:物理访问控制中用于动态授权的策略语言和状态机模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。