退出
我的积分:
中文文献批量获取
外文文献批量获取
王丰; 张俊;
中国科学院 上海微系统与信息技术研究所 上海 200050;
上海科技大学 信息科学与技术学院 上海 201210;
中国科学院大学 北京 100049;
编程语言; Rust; 语义; K框架;
机译:MDE框架中用于形式化的形式化可执行语义
机译:基于签名的Groebner基础算法的通用和可执行形式化
机译:WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
机译:KRust:Rust的正式可执行语义
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:使用自然语言和语义处理为循证医学生成可执行知识
机译:基于签名的Gröbner基础算法的通用和可执行形式化
机译:使用优化规范环境通过可执行模拟对saDT规范进行形式化和验证。
机译:自动化系统形式化语义关系研究
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。