Pages that link to "Item:Q4798475"
From MaRDI portal
The following pages link to Model-based reasoning: a principled approach for software engineering (Q4798475):
Displaying 5 items.
- Qualitative circuit models in failure analysis reasoning (Q1606342) (← links)
- Reasoned modelling critics: turning failed proofs into modelling guidance (Q1951639) (← links)
- Model-based computing: Developing flexible machine control software (Q1978447) (← links)
- Intelligent assumption retrieval from process models by model-based reasoning (Q2772515) (← links)
- Probabilistic modelling for software quality control (Q4453900) (← links)