A Design Tool to Reason about Ambient Assisted Living Systems.

Hong Sun, Vincenzo De Florio, Chris Blondia

Browse the full ISDA paper archive.