Formal Modeling Techniques for Ambient Assisted Living

Guido Parente, CD Nugent, Xin Hong, Mark Donnelly, Liming Chen, Enrico Vicario

Research output: Non-textual formWeb publication/site

9 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal Modeling Techniques for Ambient Assisted Living'. Together they form a unique fingerprint.

Computer Science