Parole chiave di "Applications of Formal Methods for Validating an Interaction Policy"
- Label
- Parole chiave di "Applications of Formal Methods for Validating an Interaction Policy" (literal)
- Keywords of "Applications of Formal Methods for Validating an Interaction Policy" (literal)
- Insieme di parole chiave di
- Ha membro
- Model Checking, Obiect Oriented design, dependable systems (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- Model Checking, Obiect Oriented design, dependable systems (Parola chiave)
