Dept. of Comput. Eng. Univ. of Tuebingen Tubingen Germany;
机译:使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:迈向基于声明的异构系统设计验证
机译:通过基于断言的验证和故障注入对集成电路设计进行故障覆盖分析。
机译:点剂量测量用于验证治疗计划系统的本地异形骨盆幻影用于Clarkson卷积叠加和快速叠加算法
机译:从基于断言的验证到基于断言的综合