SDL with applications from protocol specification
SDL with applications from protocol specification
Design and use of a system-level specification and verification methodology
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Verification of electronic systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
DAC '97 Proceedings of the 34th annual Design Automation Conference
Design reliability—estimation through statistical analysis of bug discovery data
DAC '98 Proceedings of the 35th annual Design Automation Conference
Systems Engineering Using SDL-92
Systems Engineering Using SDL-92
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Modeling and Analysis of Computer Communications Networks
Modeling and Analysis of Computer Communications Networks
Proceedings of the conference on Design, automation and test in Europe
Hardware Modeling Using Function Encapsulation
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
| Hi-index | 0.00 |