Formal analysis of persuasive mHealth apps.

Krishnendu Ghosh

Published in: HealthCom (2015)

Keyphrases

formal analysis
mobile applications
agent model
formal methods
development tools
ban logic
knowledge base
android platform
databases
artificial intelligence
data distribution
formal specification
virtual characters
mobile apps