Generating VHDL models from natural language descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Generating Validation Feedback for Automatic Interpretation of Informal Requirements
Formal Methods in System Design
Conceptual Representation of Waveforms for Temporal Reasoning
IEEE Transactions on Computers
A CG-Based Behavior Extraction System
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Hi-index | 0.01 |