|
|||||
|
|
High-Level Controllability and Observability Analysis for Test Synthesis |
|
| Authors: | Frank F Hsu Janak H Patel |
| Affiliation: | (1) Center for Reliable & High-Performance Computing, University of Illinois, Urbana, IL, 61801 |
| Abstract: | |
| Keywords: | high-level test synthesis behavioral modification controllability observability |
| 本文献已被 SpringerLink 等数据库收录！ | |