退出
我的积分:
中文文献批量获取
外文文献批量获取
胡成军; 王戟; 陈火旺;
海军潜艇学院;
国防科技大学;
实时系统; 带时戳时序逻辑; 形式验证;
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:面向基于观察者的形式化验证的定时UML标记规范的转换方法
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:基于本体的并发系统形式化验证支持方法
机译:对嵌入和实时系统的可预测隔离和通信支持
机译:一种人机交互系统的形式化验证方法
机译:具有抢占式调度的实时系统的形式化验证
机译:实时系统形式化验证的定量方法
机译:实时系统,实时系统的执行模块执行方法,实时系统的执行模块以及实时系统的记录介质执行代码
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:通过包括自动识别标签的实时定位设备监控的临床环境中用于控制医疗保健过程的实时方法,以及用于实时监控设备监控的临床环境中用于医疗保健过程的实时系统的实时系统包括自动ID标签
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。