Parole chiave di "Architectural verification of black-box component-based systems"

Label

• Parole chiave di "Architectural verification of black-box component-based systems" (literal)
• Keywords of "Architectural verification of black-box component-based systems" (literal)

Insieme di parole chiave di

• Architectural verification of black-box component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Ha membro

• Monitoring (Parola chiave)
• Component-based Systems (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Model checking (Parola chiave)
• Architectural verification (Parola chiave)

Incoming links:

Insieme di parole chiave

• Architectural verification of black-box component-based systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Membro di

• Monitoring (Parola chiave)
• Model checking (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Architectural verification (Parola chiave)
• Component-based Systems (Parola chiave)