1. Formal Methods in System Design
0925-9856; 1572-8102;
Science -- Mathematics -- Instruments and machines
전문(Full Text) 제공 DB / 패키지 :
2. Design automation for embedded systems
0929-5585; 1572-8080;
Technology -- Electrical engineering. Electronics. Nuclear engineering -- Electronics
전문(Full Text) 제공 DB / 패키지 :
3. International Journal of Smart Engineering System Design
1025-5818; 1607-8500;
Technology -- Electrical engineering. Electronics. Nuclear engineering
전문(Full Text) 제공 DB / 패키지 :