文献

J-GLOBAL ID：200902165083812827   整理番号：99A0087217

オープンエステール-オープン分散システムのためのFDT

Open Estelle-An FDT for Open Distributed Systems.

著者 (2件)： THEES J (Univ. Kaiserslautern, Kaiserslautern, DEU) ,  GOTZHEIN R (Univ. Kaiserslautern, Kaiserslautern, DEU)
資料名： Formal Description Techniques and Protocol Specification, Testing and Verification  (Formal Description Techniques and Protocol Specification, Testing and Verification)
ページ： 19-36  発行年： 1998年 
JST資料番号： K19980667  ISBN： 0-412-84760-4  資料種別： 会議録 (C)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 分散システム ,  FDT