退出
我的积分:
中文文献批量获取
外文文献批量获取
王戟; 詹乃军; 冯新宇; 刘志明;
国防科技大学计算机学院,湖南长沙410073;
高性能计算国家重点实验室(国防科技大学),湖南长沙410073;
中国科学院软件研究所,北京 100190;
天基综合信息系统重点实验室(中国科学院软件研究所),北京 100190;
南京大学计算机科学与技术系,江苏南京210023;
计算机软件新技术国家重点实验室(南京大学),江苏南京210023;
西南大学计算机与信息科学学院,重庆400715;
西南大学软件研究与创新中心,重庆400715;
形式化方法; 形式规约; 形式验证; 程序设计方法学; 软件开发;
机译:形式化方法(网络形式化方法)
机译:形式化方法在模块化机器人技术中的应用-自治和模块化机器人分析的形式化方法
机译:通过形式化方法进行网络安全:实施形式化方法的框架
机译:Instanton效果和弦论的概貌。
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:准概貌和准概貌似然的默认先验分布。
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:降低形式化水平并从部件面板中发布形式化方法的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。