Takashi Morishima

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Multimedia Content

Top Venues

IEICE Trans. Commun.

Publications

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Verification of Content-Centric Networking Using Proof Assistant. IEICE Trans. Commun. (11) (2016)
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Formalization of the Behavior of Content-Centric Networking. FNC/MobiSPC (2015)