Enabling correct design and formal analysis of Ambient Assisted Living systems
2012 ◽
Vol 85
(3)
◽
pp. 498-510
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 8
(4)
◽
pp. 551-566
◽
Keyword(s):