AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
陈德运; 陈经明;
哈尔滨理工大学计算机系;
大庆市邮电局;
可视化; 程序设计语言; 形式规范;
机译:使用语义网技术的RBAC约束的可视化建模和形式化规范
机译:形式化规范方法在手机FeliCa IC芯片开发中的应用
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:通过形式化更好地记录应用形式化规范技术来改进审核日志和日志使用者
机译:从非正式规范到形式化:一种自动化的可视化方法。
机译:形式化鸡毒支原体抗原和鸡血红细胞在血凝和血凝抑制研究中的应用
机译:异构数字图书馆与半自动映射和浏览的集成:从形式化到规范再到可视化
机译:aNNa(aNNotated ada)和形式化方法作为ada程序设计语言的应用
机译:基于形式化语言规范的自动飞机意图生成过程
机译:基于XML和使用此记录介质的形式化规范的方法和装置
机译:互联网板规范,互联网板规范可以包括触摸屏,数码相机,文档应用程序,电子邮件应用程序,触摸屏上用于用户选择的图标,用于无线连接的无线通信单元,用于播放数字内容的数字内容应用程序,以及支持应用程序编程接口(API)的操作系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。