data.CNR.it
SPARQL Endpoint
Browse
CNR.it
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)