UML timing diagram; embedded systems; model-based debugging;
机译:在设计开始之前调试嵌入式系统要求
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:FPGA设计的系统级调试和监控
机译:嵌入式系统中时序行为的设计级调试:使用基于模型的方法
机译:使用启发式方法的嵌入式系统设计的基于模型的方法:动力总成应用程序。
机译:行为抑制和行为方式系统在大学情绪与酒精后果之间的关系:纵向多层次分析
机译:嵌入式软件系统的基于模型的调试