会议论文《基于形式化行为描述的航天资源规划建模技术研究》发表于2008系统仿真技术及应用学术会议。该文探讨了如何利用形式化方法对航天资源规划进行建模，以提高系统仿真精度与可靠性。研究提出了一种基于行为描述的建模框架，有效支持了复杂航天任务的资源分配与调度问题。论文为航天系统仿真提供了理论依据和技术参考。
文档为pdf格式，0.27MB，总共4页。
举报
