Parole chiave di "A scalable formal method for design and automatic checking of user interfaces"
- Label
- Parole chiave di "A scalable formal method for design and automatic checking of user interfaces" (literal)
- Keywords of "A scalable formal method for design and automatic checking of user interfaces" (literal)
- Insieme di parole chiave di
- A scalable formal method for design and automatic checking of user interfaces (Articolo in rivista) (Prodotto della ricerca)
- Ha membro
- applications of model checking (Parola chiave)
- Human-computer interaction (HCI) (Parola chiave)
- GUI design (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A scalable formal method for design and automatic checking of user interfaces (Articolo in rivista) (Prodotto della ricerca)
- Membro di
- GUI design (Parola chiave)
- Human-computer interaction (HCI) (Parola chiave)
- applications of model checking (Parola chiave)
