Podobné jednotky: Hardware and Software :
- Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
- Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
- Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
- High-Speed USB4 Interface : Validation Across Gen 2 and Gen 3 Variants /
- Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
- Co-Verification of Hardware and Software for ARM SoC Design /
Téma: Circuitos Electrónicos - Prueba y Medición
- Digital Systems Testing and Testable Design / M. Abramovici, M.A. Breuer, A.D. Friedman.
- SAT-Based Scalable Formal Verification Solutions /
- The Test Access Port and Boundary Scan Architecture /
- Neuromodelado de dispositivos electrónicos utilizando perceptrones de tres capas /
- Diseño de un método de prueba de componentes pasivos ensamblados en una tarjeta de circuito impreso /
- Digital and Analogue Instrumentation : Testing and Measurement /
Téma: Componentes (Hardware) - Prueba y Medición - Tema Principal
- Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
- Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /
- Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
Autor: Biere, Armin (edición)
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
- Computer Algebra in Scientific Computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : Proceedings /
- Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /