System debugging strategies

MaRDI QIDQ3574324zbMATH OpenFDO

Authors Wayne Wolf

Publication date 9 July 2010

zbMATH Keywords

embedded systems

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Debugging and monitoring distributed heterogeneous systems
• Debugging tools for a system with automatic program synthesis
• Extension language automation of embedded system debugging
• scientific article; zbMATH DE number 2080779
• Principles of Distributed Systems

This page was built for publication: System debugging strategies

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