Reachability Analysis Using Polygonal Projections
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Faster projection based methods for circuit level verification
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Implementation of handshake components
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Hi-index | 0.00 |