文献

J-GLOBAL ID：200902135714985757   整理番号：96A0760193

LOTOSで記述されたサービス仕様からのプロトコル仕様の導出

Deriving protocol specifications from service specifications written in LOTOS.

著者 (3件)： KANT C (Univ. Montr<span style=text-decoration:overline>e ́</span>al, Qu<span style=text-decoration:overline>e ́</span>bec, CAN) ,  HIGASHINO T (Univ. Montr<span style=text-decoration:overline>e ́</span>al, Qu<span style=text-decoration:overline>e ́</span>bec, CAN) ,  V BOCHMANN G (Univ. Montr<span style=text-decoration:overline>e ́</span>al, Qu<span style=text-decoration:overline>e ́</span>bec, CAN)
資料名： Distributed Computing  (Distributed Computing)
巻： 10  号： 1  ページ： 29-47  発行年： 1996年07月 
JST資料番号： D0974B  ISSN： 0178-2770  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 通信システムはいくつかのプロトコル階層にわかれている。各階層...

シソーラス用語： 形式記述 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=96A0760193&from=J-GLOBAL&jstjournalNo=D0974B") }}

分類 (2件)： 計算理論  (JB02000A) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (6件)： LOTOS ,  記述 ,  サービス ,  仕様 ,  プロトコル ,  導出