Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A property based specification formalism classification
Journal of Systems and Software
Hi-index | 0.00 |