Pages that link to "Item:Q1606301"
From MaRDI portal
The following pages link to Model-based diagnosis of hardware designs (Q1606301):
Displayed 7 items.
- Finding and fixing faults (Q414907) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- Consistency-based diagnosis of configuration knowledge bases (Q814544) (← links)
- Logical foundations of knowledge-based recommender systems: a unifying spectrum of alternatives (Q2055525) (← links)
- Model-based reasoning: a principled approach for software engineering (Q4798475) (← links)
- Diagnosing tree-structured systems (Q5940958) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)