Keywords of "A tool for the synthesis of cryptographic orchestrators"
- Label
- Keywords of "A tool for the synthesis of cryptographic orchestrators" (literal)
- Parole chiave di "A tool for the synthesis of cryptographic orchestrators" (literal)
- Insieme di parole chiave di
- A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Ha membro
- Software/Program Verification (Parola chiave)
- Model checking (Parola chiave)
- Validation (Parola chiave)
- Formal methods (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A tool for the synthesis of cryptographic orchestrators (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Membro di
- Validation (Parola chiave)
- Model checking (Parola chiave)
- Software/Program Verification (Parola chiave)
- Formal methods (Parola chiave)
