Avionics; Real time; Ada programming language; Operating systems(Computers); Systems engineering; Expansion; Management; Models; Multiprocessors; Simulation; Test beds; Computer architecture;
机译:将模型驱动的开发应用于分布式实时和嵌入式航空电子系统
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:嵌入式实时应用中自动语音识别系统的硬件-软件协同设计
机译:Ada运行时环境支持嵌入式模块化航空电子系统的可验证实时软件的开发
机译:用于实时嵌入式系统的基于模型的代码签名。
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:用于硬实时系统的可预测开发的硬件/软件协同设计方法和工作台