Parole chiave di "A framework for automatic security controller generation"
- Label
- Parole chiave di "A framework for automatic security controller generation" (literal)
- Keywords of "A framework for automatic security controller generation" (literal)
- Insieme di parole chiave di
- A framework for automatic security controller generation (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Ha membro
- Partial model checking (Parola chiave)
- K.6.5 Security and Protection (Parola chiave)
- Process algebra operators (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A framework for automatic security controller generation (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Membro di
- Partial model checking (Parola chiave)
- K.6.5 Security and Protection (Parola chiave)
- Process algebra operators (Parola chiave)
