退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种形式化和工具设备的状态图和正式数据类型集成方法
Attiogbe Christian; Poizat Pascal; Salaün Gwen;
机译:形式化和工具配备的状态图和形式化数据类型集成方法
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:状态图中形式数据类型的集成
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:将同义词与参考术语集成在一起的正式方法。
机译:在状态图中集成形式数据类型
机译:在数字设计的形式等效验证中使用的订购二进制决策图
机译:使用二进制决策图形式验证电路模型的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。