退出
我的积分:
中文文献批量获取
外文文献批量获取
卜磊; 解定宝;
南京大学计算机科学与技术系;
江苏南京210023;
计算机软件新技术国家重点实验室(南京大学);
混成系统; 形式化方法; 模型检验; 定理证明;
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:使用B方法对实时分布式系统进行形式化验证
机译:在空间变化系统中的图像解混成功估计
机译:生物系统中对手对过程的动力学:发育系统,免疫系统和神经系统功能的比较,特别强调这些系统中对手对过程的功能
机译:一种人机交互系统的形式化验证方法
机译:平面自治系统站点保持机动的形式化验证 混合系统
机译:支持可靠分布式系统的建筑模式的形式化验证
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:使用左和右声道之间的长期相关性差异的方法和系统,用于将立体声音频信号的时域下混成主信道和辅助通道
机译:皇家结冰预混成组成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。