会议论文《空客飞控计算机系统虚拟样机验证仿真》发表于第十二届全国Petri网理论与应用学术年会。该文探讨了利用虚拟样机技术对空客飞控计算机系统进行仿真验证的方法，旨在提高系统设计的可靠性和效率。通过Petri网模型，作者实现了对飞控系统行为的精确模拟，为复杂航空电子系统的开发提供了有效的技术支持。
文档为pdf格式，0.83MB，总共5页。
举报
