Keywords of "A model checking framework for (Mobile) UML statecharts"
- Label
- Keywords of "A model checking framework for (Mobile) UML statecharts" (literal)
- Parole chiave di "A model checking framework for (Mobile) UML statecharts" (literal)
- Insieme di parole chiave di
- A model checking framework for (Mobile) UML statecharts (Comunicazione a convegno) (Prodotto della ricerca)
- Ha membro
- D.2.4 Software/Program Verification (Parola chiave)
- Mobile UML statecharts (Parola chiave)
- Action/State based Temporal Logic (Parola chiave)
- Model checking (Parola chiave)
- F.3.1 Specifying and Verifying and Reasoning about Programs (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A model checking framework for (Mobile) UML statecharts (Comunicazione a convegno) (Prodotto della ricerca)
- Membro di
- Model checking (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- F.3.1 Specifying and Verifying and Reasoning about Programs (Parola chiave)
- Mobile UML statecharts (Parola chiave)
- Action/State based Temporal Logic (Parola chiave)
