形式化建模方法相关论文
嵌入式系统的实时性、并发性、分布性和高可靠性等特点使得系统的开发面临巨大挑战，迫切需要相应开发方法的指导和开发工具的支持。......
随着半导体制造工艺的发展,异构多核片上系统可以集成多个具有不同功能的处理器核,并充分利用各处理器核的性能优势对多种特定类型......
航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状态，并......
