Parole chiave di "Towards model checking stochastic aspects of the 'thinkteam' user interface"
- Label
- Parole chiave di "Towards model checking stochastic aspects of the 'thinkteam' user interface" (literal)
- Keywords of "Towards model checking stochastic aspects of the 'thinkteam' user interface" (literal)
- Insieme di parole chiave di
- Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (Prodotto della ricerca)
- Ha membro
- Stochastic model checking (Parola chiave)
- D.2.4 Software/Program Verification. Formal methods (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (Prodotto della ricerca)
- Membro di
- D.2.4 Software/Program Verification. Formal methods (Parola chiave)
- Stochastic model checking (Parola chiave)
