Similar Items: Hardware and Software :
- 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 /
- 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 /
Topic: 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 /
Topic: 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 /
Author: Bertacco, Valeria (edición)
Author: Legay, Axel (edición)
- Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
- Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- From Programs to Systems : The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis Grenoble, France, April 6, 2014 : Proceedings /