TAKAHASHI Kaoru | Sendai National College of Technology
スポンサーリンク
概要
関連著者
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
Takahashi K
The Sendai National College Of Technology
-
KATO Yasushi
Sendai National College of Technology
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
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 Science, Tohoku Univer
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
BISTA Bhed
Faculty of Software and Information Science, Iwate Prefectural University
-
Bista B
Iwate Prefectural Univ. Iwate‐ken Jpn
-
Ando Toshihiko
Sendai National College Of Technology
-
ITABASHI Goichi
the Graduate School of Information Sciences, Tohoku University
-
TAKAHASHI Kaoru
The author is with the Sendai National College of Technology
-
Itabashi Goichi
The Graduate School Of Information Sciences Tohoku University
-
SHIRATORI Norio
The author is with the Research Institute of Electrical Communication, Tohoku University
-
ANDO Toshihiko
The authors are with Sendai National College of Technology
-
KATO Yasushi
The authors are with Sendai National College of Technology
-
Noguchi S
Department Of Computer Software University Of Aizu
-
Shiratori Norio
Tohoku University, Research Institute of Electrical Communication
-
MANEERAT Noppadol
Faculty of Engineering & Research Center for Communications and Information Technology, King Mongkut
-
VARAKULSIRIPUNTH Ruttikorn
Faculty of Engineering & Research Center for Communications and Information Technology, King Mongkut
-
Youn Chan-hyun
Information And Communications University
-
Youn C‐h
Tohoku Univ. Sendai‐shi Jpn
-
Bista Bhed
Research Institute Of Electrical Communication Tohoku University
-
Bista Bhed
The Iwate Prefectural University
-
Bista Bhed
Faculty Of Engineering Tohoku University
-
Suganuma Takuo
Res. Inst. Of Electrical Communication/graduate School Of Information Sciences Tohoku Univ.
-
Suganuma Takuo
Riec Tohoku University
-
Suganuma Takuo
東北大
-
Suganuma Takuo
Research Institute Of Electrical Communication Tohoku University
-
Shiratori Norio
the Research Institute of Electrical Communication, Tohoku University
-
Maneerat Noppadol
Faculty Of Engineering & Research Center For Communications And Information Technology King Mong
-
Varakulsiripunth Ruttikorn
Faculty Of Engineering & Research Center For Communications And Information Technology King Mong
-
Varakulsiripunth Ruttikorn
Research Center For Communication And Information T Echnology (reccit) And Faculty Of Engineering Ki
-
Takahashi Kaoru
The Sendai National College Of Technology
-
Shiratori Norio
Tohoku Univ. Sendai‐shi Jpn
-
NOGUCHI SHOICHI
Research Institute of Electrical Communication, Tohoku University
-
Shiratori Norio
The Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Un
-
Sugawara Kana
Sendai National College Of Technology:presently With University Of Electro-communications
-
ITABASHI Goichi
Scientia Corporation
-
HARAMOTO Yoshiaki
Sendai National College of Technology
-
BISTA Bhed
The author is with the Miyagi University
-
KANO Toshihisa
The authors are with Sendai National College of Technology
-
ITABASHI Goichi
The authors are with Sendai National College of Technology
-
KINOSHITA Tetsuo
Research Institute of Electrical Communication, Tohoku University
-
Takahashi Kaoru
AIC Systems Labs.
-
Park Seung-Seob
Tohoku University
-
Youn Chan-Hyun
Tohoku University
-
Takahashi Kaoru
Tohoku University
-
Noguchi Shoichi
Tohoku University
-
Yaoxue Zhang
Research Institute of Electrical Communication, Tohoku University
-
Takahashi Kaoru
Research Institute of Electrical Communication, Tohoku University
-
Yaoxue Zhang
Research Institute Of Electrical Communication Tohoku University
-
Noguchi Shoichi
Research Center For Applied Information Science Tohoku University
-
Noguchi Shoichi
Tohoku Univ. Research Institute Of Electrical Communication
-
BISTA Bhed
Iwate Prefectural University
-
Shiratori Norio
Tohoku Univ. Research Institute Of Electrical Communication
-
Kinoshita Tetsuo
Research Institute Of Electrical Communication Tohoku University
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
PARK Byung-ho
Graduate School of Information Sciences, Tohoku University
-
Park Byung-ho
Graduate School Of Information Sciences Tohoku University
-
Tokita Yoshiaki
Aic Systems Laboratory
-
Tanaka Takehisa
Kozo Keikaku Engineering
-
Togashi Atsushi
Graduate School Of Project Design Miyagi University
-
HOMMA Kei
Graduate School of Project Design, Miyagi University
-
IZUMI Satoru
Research Institute of Electrical Communication/Graduate School of Information Sciences, Tohoku Unive
-
Izumi Satoru
Research Institute Of Electrical Communication/graduate School Of Information Sciences Tohoku Univer
-
Homma Kei
Graduate School Of Project Design Miyagi University
-
Izumi Satoru
Research Institute of Electrical Communication Tohoku University
著作論文
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- State Machine Specification with Reusability(Concurrent Systems)(Concurrent Systems and Hybrid Systems)
- Specification and Analysis of the Contract Net Protocol Based on State Machine Model(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
- 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)
- Making Changes in Formal Protocol Specifications
- 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
- A Consideration Of Integrated System Management In OSI Environment
- An Improvement of The Protocol Synthesis Algorithm
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker