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

Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden

研究成果: Conference contribution

7 被引用数 (Scopus)

フィンガープリント 「Physical interaction in pervasive computing: Formal modeling, analysis and verification」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science