机译:对分析友好型处理器的最坏情况执行时间的可扩展且精确的估计和调试:模型检查的回归
机译:NOD4J:使用尺寸限制执行跟踪Java的近乎无关调试工具
机译:调试分布式流处理应用程序的工具和策略
机译:模型执行和调试:利用现有工具的进程
机译:仿真方法和工具,用于开发新颖的程序执行模型和体系结构
机译:集成现有自然语言处理工具以从出院摘要中提取药物
机译:分析友好处理器的最坏情况执行时间的可扩展和精确估算和调试:模型检查的复出
机译:联邦开发和执行过程(FEDEp)支持北约建模和模拟(m&s)计划的工具(Des outils d'aide au processus de d'eveloppement et d'execution de federations(FEDEp))