Formal Specification for Ambient Assisted Living Scenarios.
Hubert Kenfack NgankamHélène PigotMarc FrappierCamila Helena Souza OliveiraSylvain GirouxPublished in: UCAmI (2017)
Keyphrases
- formal specification
- ambient assisted living
- ambient intelligence
- model checking
- home environment
- object oriented design
- independent living
- reverse engineering
- process algebra
- smart environments
- service oriented
- ubiquitous computing
- concurrent systems
- formal methods
- smart home
- human activities
- pervasive computing
- daily activities
- context awareness
- software components
- information systems
- context aware