Parole chiave di "KandISTI: a family of model checkers for the analysis of software designs"
- Label
- Parole chiave di "KandISTI: a family of model checkers for the analysis of software designs" (literal)
- Keywords of "KandISTI: a family of model checkers for the analysis of software designs" (literal)
- Insieme di parole chiave di
- KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ha membro
- Software quality (Parola chiave)
- Model checking (Parola chiave)
Incoming links:
- Insieme di parole chiave
- KandISTI: a family of model checkers for the analysis of software designs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Membro di
- Model checking (Parola chiave)
- Software quality (Parola chiave)
