机译:TT-BIP:使用正确的设计BIP方法,用于使用时间触发的范式建模实时系统
机译:使用可执行的时间触发模型(E-TTM)和systemC-AMS对时间触发的实时控制系统进行建模
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:TT-BIP:使用按设计更正的BIP方法对具有时间触发范式的实时系统建模
机译:能源系统分析的多范式建模方法。
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:灵活的时间触发(FTT)范例:分布式实时系统中QoS管理的一种方法
机译:aDa航空电子实时系统模型:实时系统开发中硬件/软件协同设计方法的优势示例