Ando Toshihiko | Sendai National College Of Technology
スポンサーリンク
概要
関連著者
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
KATO Yasushi
Sendai National College of Technology
-
Takahashi K
The Sendai National College Of Technology
-
Ando Toshihiko
Sendai National College Of Technology
-
TAKAHASHI Kaoru
The author is with the Sendai National College of Technology
-
ANDO Toshihiko
The authors are with Sendai National College of Technology
-
KATO Yasushi
The authors are with Sendai National College of Technology
-
SHIRATORI Norio
Research Institute of Electrical Communication Graduate School of Information Science, Tohoku Univer
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Science Tohoku Univers
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Sugawara Kana
Sendai National College Of Technology:presently With University Of Electro-communications
-
ITABASHI Goichi
the Graduate School of Information Sciences, Tohoku University
-
SHIRATORI Norio
The author is with the Research Institute of Electrical Communication, Tohoku University
-
KANO Toshihisa
The authors are with Sendai National College of Technology
-
ITABASHI Goichi
The authors are with Sendai National College of Technology
-
Takahashi Kaoru
AIC Systems Labs.
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
Itabashi Goichi
The Graduate School Of Information Sciences Tohoku University
著作論文
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Specification and Validation of a Dynamically Reconfigurable System(Special Section on Concurrent Systems Technology)
- A Concurrent Calculus with Geographical Constraints(Special Section on Concurrent Systems Technology)
- A Topological Framework of Stepwise Specification for Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
- On Specifying Protocols Based on LOTOS and Temporal Logic