http://www.cnr.it/ontology/cnr/individuo/parolaChiave/147995

D.2.4 Software/Program Verification. Validation

Label

D.2.4 Software/Program Verification. Validation (literal)

Membro di

Parole chiave di "Combining declarative and procedural views in the specification and analysis of product families" (Insieme di parole chiave)
Keywords of "Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series" (Insieme di parole chiave)

Value

D.2.4 Software/Program Verification. Validation (literal)

Incoming links:

Ha membro

Parole chiave di "Combining declarative and procedural views in the specification and analysis of product families" (Insieme di parole chiave)
Keywords of "Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series" (Insieme di parole chiave)

data.CNR.it