Keywords of "Automatic Testing Equivalence Verification of Spi-calculus Specifications"

Label

• Keywords of "Automatic Testing Equivalence Verification of Spi-calculus Specifications" (literal)
• Parole chiave di "Automatic Testing Equivalence Verification of Spi-calculus Specifications" (literal)

Insieme di parole chiave di

• Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Ha membro

• Spi-calculus (Parola chiave)
• Testing equivalence (Parola chiave)
• Automatic analysis (Parola chiave)
• Formal methods (Parola chiave)
• network security (Parola chiave)

Incoming links:

Insieme di parole chiave

• Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Membro di

• network security (Parola chiave)
• Testing equivalence (Parola chiave)
• Formal methods (Parola chiave)
• Automatic analysis (Parola chiave)
• Spi-calculus (Parola chiave)