Modern operating systems
Increasing design quality and engineering productivity through design reuse
DAC '93 Proceedings of the 30th international Design Automation Conference
Static analysis for VHDL model evaluation
EURO-DAC '94 Proceedings of the conference on European design automation
Testability analysis and improvement from VHDL behavioral specifications
EURO-DAC '94 Proceedings of the conference on European design automation
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Global Data Flow Analysis and Iterative Algorithms
Journal of the ACM (JACM)
VHDL Designer's Reference
| Hi-index | 0.00 |