退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:超媒体文件的正式规范和验证设计方法
C. A. S. Santos; J.-P. Courtiat; P. de Saqui-Sannes;
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:验证设计是否符合其正式规格的框架
机译:形式验证规范语言模型的设计与实现
机译:基于嵌套上下文模型的超媒体文档的正式规范和验证
机译:编写,验证和利用硬件设计的正式规范。
机译:无线传感器和执行器网络的正式规范和设计技术
机译:一些改进数字设计的半正式规范和形式验证:一些统计数据
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术
机译:设备正式验证一致性管理软件系统微控制器设计规范
机译:自动验证规格文件以进行硬件设计的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。