Parole chiave di "Model checking value-passing modal specifications"
- Label
- Parole chiave di "Model checking value-passing modal specifications" (literal)
- Keywords of "Model checking value-passing modal specifications" (literal)
- Insieme di parole chiave di
- Model checking value-passing modal specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Process Algebra (Parola chiave)
- Modal Transition Systems (Parola chiave)
- Value Passing (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Model checking value-passing modal specifications (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- Process Algebra (Parola chiave)
- Modal Transition Systems (Parola chiave)
- Value Passing (Parola chiave)
