Parole chiave di "Engineering human flows in smart environments using formal techniques - Full version"
- Label
- Parole chiave di "Engineering human flows in smart environments using formal techniques - Full version" (literal)
- Keywords of "Engineering human flows in smart environments using formal techniques - Full version" (literal)
- Insieme di parole chiave di
- Ha membro
- Model based usability analysis (Parola chiave)
- Formal Methods (Parola chiave)
- 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- Performance evaluation (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- Formal Methods (Parola chiave)
- Performance evaluation (Parola chiave)
- Model based usability analysis (Parola chiave)
- 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (Parola chiave)
