Parole chiave di "Detecting policy conflicts by model checking UML state machines"

Label

• Parole chiave di "Detecting policy conflicts by model checking UML state machines" (literal)
• Keywords of "Detecting policy conflicts by model checking UML state machines" (literal)

Insieme di parole chiave di

• Detecting policy conflicts by model checking UML state machines (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)

Ha membro

• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• Model checking (Parola chiave)
• Policy conflict (Parola chiave)
• UML (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)

Incoming links:

Insieme di parole chiave

• Detecting policy conflicts by model checking UML state machines (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)

Membro di

• Model checking (Parola chiave)
• UML (Parola chiave)
• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• Policy conflict (Parola chiave)