Synthesis of Reactive(1) designs 论文
2011Journal of Computer and System Sciences引用 465
Formal Methods in VerificationSoftware Testing and Debugging TechniquesVLSI and Analog Circuit Testing
详细信息
- 发表期刊/会议
- Journal of Computer and System Sciences
- 发表日期
- 2011-08-19
- 发表年份
- 2011
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesVLSI and Analog Circuit Testing