退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:反应系统规范和验证的图形环境
A. K. Bhattacharjee; S.D. Dhodapkar; Sanjit Seshia; R. K. Shyamasundar;
机译:PERTS:反应堆系统规范和验证的环境
机译:反应系统:建模,规范和验证
机译:验证无功系统状态图规范的新方法
机译:MultiVue:用于实时系统的多语言规范和验证环境。
机译:肠环境诱导的上皮内自身反应性CD4 + T细胞通过LAG-3抑制中枢神经系统自身免疫
机译:Argonaute:使用过程代数的反应性系统的图形描述,语义和验证
机译:基于组件的大规模分布式系统架构的集成规范和验证环境
机译:使用图形和文本编辑器对并发系统进行规范和验证
机译:系统规格验证支持装置和系统规格验证支持方法
机译:系统规格验证辅助装置及系统规格验证辅助方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。