Software tools for designing electronic systems.
forum
Submitted by Katie Dey on Thu, 02/07/2019 - 10:59am
Papers submission: 11 February 2019 (extended)
CALL FOR PAPERS
forum
Submitted by jpbello on Tue, 01/22/2019 - 3:43pm
event
Submitted by Anonymous on Thu, 01/17/2019 - 9:58am
17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
ATVA 2019 is the 17th in a series of symposia dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis by providing a forum for interaction between local and international research communities and industry in the field.
event
Submitted by akarns on Mon, 10/08/2018 - 8:43am
22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Part of CPS-IoT Week 2019
Scope
forum
Submitted by Anonymous on Mon, 10/08/2018 - 8:40am
