退出
我的积分:
中文文献批量获取
外文文献批量获取
张锦坤; 杨孟飞; 乔磊; 杨桦; 刘波;
北京控制工程研究所,北京100190;
中国空间技术研究院,北京100094;
中国科学院软件研究所计算机科学国家重点实验室,北京100190;
操作系统; 形式化验证; 系统需求; 有限状态机; Coq;
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:面向基于观察者的形式化验证的定时UML标记规范的转换方法
机译:带有数据路径的有限状态机的形式化验证高级综合
机译:开发和验证一种工具,以使信息系统需求功能可操作。
机译:基于认知工作分析的人外活动的决策支持系统需求定义
机译:基于使用单个存储器的可重构有限状态机的全功能逻辑内存操作
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:通过场景生成,基于CSP的面向语法的模型构建以及R2D2C系统需求转换来提供更完整的系统需求规范的自动机学习算法和过程
机译:在考虑网络层之间相互作用的调整有限状态机的情况下,在能够创建测试案例的传感器网络中,应用有限状态机执行网络程序测试的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。