TAKURA Akira | ATR Communication Systems Research Laboratories
スポンサーリンク
概要
関連著者
-
TAKURA Akira
ATR Communication Systems Research Laboratories
-
Ohta Tadashi
ATR Communication Systems Research Laboratories
-
Takura A
Atr Communication Systems Research Laboratories:ntt Software Laboratories
-
Ueda Yoshihiro
Atr Communication Systems Research Laboratories:oki Electrical Industry Co. Ltd.
-
Ohta T
Soka Univ. Hachioji‐shi Jpn
-
Shibata K
Atr Communication Systems Research Laboratories:oki Electric Industry Co. Ltd.
-
HAIZUKA Tsuneki
ATR Media Integration and Communications Research Laboratories
-
Kanai Atsushi
Ntt Software Laboratories
-
Takura Akira
Atr Communication Systems Research Laboratories:ntt Software Laboratories
-
Haizuka Tsuneki
Atr Media Integation & Communications Research Laboratories
-
Sera Takafumi
ATR Communication Systems Research Laboratories
-
Shibata Kenji
ATR Communication Systems Research Laboratories
-
Hirakawa Yutaka
ATR Communication Systems Research Laboratories
-
Hirakawa Yutaka
Atr Communication Systems Research Laboratories:ntt Software Laboratories
-
Ohta Tadashi
Atr Communication Systems Research Laboratories:soka University
著作論文
- Requirement Specification Acquisition of Communications Services
- Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)
- Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model (Special Issue on Distributed Architecture for Next Generation Communication Networks)
- Completing Protocols Synthesized from Service Specifications
- Reachability Analysis for Specified Processes in a Behavior Description