Parole chiave di "Model based testing and abstract interpretation in the railway signaling context"
- Label
- Parole chiave di "Model based testing and abstract interpretation in the railway signaling context" (literal)
- Keywords of "Model based testing and abstract interpretation in the railway signaling context" (literal)
- Insieme di parole chiave di
- Ha membro
- Model-based Testing (Parola chiave)
- Industrial Case-study (Parola chiave)
- D.2 SOFTWARE ENGINEERING (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- Abstract Interpretation (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- Model-based Testing (Parola chiave)
- Industrial Case-study (Parola chiave)
- D.2 SOFTWARE ENGINEERING (Parola chiave)
- Abstract Interpretation (Parola chiave)
