Models in Hardware Testing : Lecture Notes of the Forum in Honor of Christian Landrault /

QR Code

Models in Hardware Testing : Lecture Notes of the Forum in Honor of Christian Landrault /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Wunderlich, Hans-Joachim. (Editor)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Frontiers in Electronic Testing, 43
Subjects:	Computer hardware. Computer logic. Computer simulation. Electronic circuits. Computer software-Reusability. Computer Hardware. Logics and Meanings of Programs. Simulation and Modeling. Circuits and Systems. Performance and Reliability.

Similar Items

Design, Analysis and Test of Logic Circuits Under Uncertainty /
by: Krishnaswamy, Smita., et al.
Published: (2013)

Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published: (2017)

Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings /
Published: (2017)

ESL Models and their Application : Electronic System Level Design and Verification in Practice /
by: Bailey, Brian., et al.
Published: (2010)

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Published: (2017)

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Published: (2017)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published: (2017)

Practical Aspects of Embedded System Design using Microcontrollers
by: Parab, Jivan., et al.
Published: (2008)

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers /
Published: (2017)

New Methods of Concurrent Checking
by: Gössel, Michael., et al.
Published: (2008)

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Published: (2017)

Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Published: (2017)

Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years DATE /
Published: (2008)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published: (2017)

High Performance Computing for Computational Science - VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Published: (2017)

Fault-Tolerant Design /
by: Dubrova, Elena.
Published: (2013)

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Published: (2017)

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Published: (2017)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

Provably Correct Systems /
Published: (2017)

Parallel Computational Technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers /
Published: (2017)

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 /
Published: (2009)

Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
Published: (2017)

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
by: Ölveczky, Peter Csaba.
Published: (2017)

Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
by: Boulé, Marc., et al.
Published: (2008)

Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing /
Published: (2013)

Modeling, Design and Simulation of Systems : 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II /
Published: (2017)

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I /
Published: (2017)

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Published: (2017)

Robustness and Usability in Modern Design Flows /
by: Fey, Görschwin., et al.
Published: (2008)

Hardware Software Co-Design of a Multimedia SOC Platform /
by: Chen, Sao-Jie., et al.
Published: (2009)

Inside Solid State Drives (SSDs) /
by: Micheloni, Rino., et al.
Published: (2013)

Guide to Modeling and Simulation of Systems of Systems
by: P. Zeigler, Bernard., et al.
Published: (2017)

Combinatorial Testing in Cloud Computing /
by: Tsai, Wei-Tek., et al.
Published: (2017)

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published: (2017)

Functional Design Errors in Digital Circuits : Diagnosis Correction and Repair /
by: Chang, Kai-hui., et al.
Published: (2009)

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers /
Published: (2017)

Quantifying and Exploring the Gap Between FPGAs and ASICs /
by: Kuon, Ian., et al.
Published: (2010)

Coupled Data Communication Techniques for High-Performance and Low-Power Computing /
Published: (2010)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Published: (2017)