Physical interaction in pervasive computing: Formal modeling, analysis and verification

Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Fingerprint Dive into the research topics of 'Physical interaction in pervasive computing: Formal modeling, analysis and verification'. Together they form a unique fingerprint.

Engineering & Materials Science