Formal models; design; formal specification; formal verification; in-vehicle software; test generation;
机译:基于早期模型的汽车控制系统软件实现的设计和验证
机译:利用电路设计软件和EM验证改善TPMS设计流程
机译:车载软件激活时间的广泛验证
机译:基于严谨的模型设计和验证流量用于车载软件
机译:聚合物流经管材挤出模头的软件设计和实验验证。
机译:BioFlow:基于Web的工作流管理软件用于设计和执行基因组学管道
机译:基于严格的基于模型的酶催化胶粘剂的设计与实验验证
机译:车载信息系统行为模型和设计支持:IVIs Demandprototype软件用户手册