Sebih Nazim

ID:9000300218159

The University of Tokyo (2015年 CiNii収録論文より)

同姓同名の著者を検索

論文一覧:  1件中 1-1 を表示

  • Software Model Checking of UDP-based Distributed Applications

    Sebih Nazim , Hagiya Masami , Weitl Franz [他] , Yamamoto Mitsuharu , Artho Cyrille , Tanabe Yoshinori

    An extension to the software model checker Java Path nder for verifying networked applications using the User Datagram Protocol (UDP) is presented.UDP maximizes performance by omitting ow control and …

    International Journal of Networking and Computing 5(2), 373-402, 2015

    J-STAGE

ページトップへ