Nagano Shin'ichi | The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
スポンサーリンク
概要
- NAGANO Shin'ichiの詳細を見る
- 同名の論文著者
- The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Enginの論文著者
関連著者
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
KAKUDA Yoshiaki
Graduate School of Information Sciences, Hiroshima City University
-
Kikuno Tohru
Osaka Univ. Osaka
-
Kikuno Tohru
The Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka
-
Kikuno Tohru
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
Kakuda Y
Hiroshima City Univ. Hiroshima‐shi Jpn
-
Kikuno T
Graduate School Of Information Science And Technology Osaka University
-
Nagano Shin'ichi
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
Kakuda Yoshiaki
The Authors Are With The Department Of Informatics And Mathematical Science Graduate School Of Engin
-
KIKUNO Tohru
Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka Un
-
Kakuda Yoshiaki
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
著作論文
- A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol(Special Section on Concurrent Systems Technology)
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)