Formal specification of wireless and pervasive healthcare applications.
Antonio CoronatoGiuseppe De PietroPublished in: ACM Trans. Embed. Comput. Syst. (2010)
Keyphrases
- formal specification
- model checking
- wireless networks
- specification languages
- medical devices
- specification language
- mobile devices
- data abstraction
- object oriented design
- wireless communication
- context aware
- process algebra
- pervasive computing
- reverse engineering
- concurrent systems
- information systems
- formal methods
- mobile users
- health care
- wifi
- computing environments
- software components
- smart environments
- databases
- information technology
- artificial intelligence
- mobile networks
- fine grained
- multi agent systems