scientific article; zbMATH DE number 2043416

zbMATH Open1039.68884MaRDI QIDQ4450892FDOQ4450892

Bernhard Peischl, Franz Wotawa, Daniel Köb

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2718/27180402.htm

Title of this publication is not available (Why is that?)

Recommendations

• Debugging VHDL designs: Introducing multiple models and first empirical results
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1708082
• scientific article; zbMATH DE number 2090570
• scientific article; zbMATH DE number 2080065
• Publication:4942020

zbMATH Keywords

software debuggingmodel-based diagnosisdebugging of hardware designs

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Cited In (4)

• Debugging VHDL designs: Introducing multiple models and first empirical results
• Model-based diagnosis of hardware designs
• Debugging hardware designs using a value-based model
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450892)