共 50 条
- [2] INTEGRATION OF SMT INTO THE PRODUCTION OF ELECTRONICS F&M-FEINWERKTECHNIK & MESSTECHNIK, 1986, 94 (03): : 187 - 188
- [4] Research SMT Technology Parameter Optimize Based on NiPdAu PCB ADVANCED MANUFACTURING TECHNOLOGY, PTS 1-4, 2012, 472-475 : 1240 - 1244
- [5] SMT/Hybrid/Packaging: System integration in Microelectronics ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2009, 126 (03): : A16 - A16
- [7] Tighter Integration of BDDs and SMT for Predicate Abstraction 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1707 - 1712
- [8] How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions COMPUTER JOURNAL, 2015, 58 (11): : 2900 - 2920