A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems

Alexandros Konios, Yasir Imtiaz Khan, Matias Garcia-Constantino, Irvin Hussein Lopez-Nava

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'A Modular Framework for Modelling and Verification of Activities in Ambient Intelligent Systems'. Together they form a unique fingerprint.

Computer Science