王淑灵-复杂安全攸关嵌入式系统的形式设计与实现V3
其他报告
综合其他
2024-08-26新用户首篇研报专享优惠价
VIP会员可免费获取全部研报，开通VIP
报告摘要
复杂安全攸关嵌入式系统的形式设计与实现王淑灵中国科学院软件研究所目录CONTENTS1.背景和问题2.基于Simulink/Stateflow和AADL的协同设计3.HCSP形式建模和验证4.已验.
DJ
大吉研报
专业研究报告平台
·综合其他
王淑灵-复杂安全攸关嵌入式系统的形式设计与实现V3
其他报告2024-08-26
www.djyanbao.cc
购买后查看完整研报
浏览 1下载 0