Parole chiave di "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer"

Label

• Parole chiave di "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer" (literal)
• Keywords of "Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer" (literal)

Insieme di parole chiave di

• Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (Prodotto della ricerca)

Ha membro

• Code Generation (Parola chiave)
• Railway Signalling (Parola chiave)
• D.2.4 Software/Program Verification. Formal Methods (Parola chiave)
• Abstract Interpretation (Parola chiave)
• Safety-Critical Software (Parola chiave)
• Model-Based Testing (Parola chiave)

Incoming links:

Insieme di parole chiave

• Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer (Articolo in rivista) (Prodotto della ricerca)

Membro di

• D.2.4 Software/Program Verification. Formal Methods (Parola chiave)
• Abstract Interpretation (Parola chiave)
• Code Generation (Parola chiave)
• Safety-Critical Software (Parola chiave)
• Model-Based Testing (Parola chiave)
• Railway Signalling (Parola chiave)