基于AADL端到端流的实时系统验证与实现方法的研究

出版社:中国科学技术大学
出版年:2023
作者:白先平
资源类型:图书
细分类型:中文文献
相关推荐

基于通用属性模型检测的处理器端到端验证研究

  • 作者:李宇锋
  • 出版社:中国科学院软件研究所
  • 出版年:2024

基于ThreadX的SoC系统验证技术及应用

  • 作者:安蓉
  • 出版年:2008

基于深度学习的端到端非合作目标位姿估计方法的研究

  • 作者:刘佳辉
  • 出版社:中国科学院微小卫星创新研究院
  • 出版年:2024