Implementation of natural language specifications of communication protocols by executable specifications

Implementation of natural language specifications of communication protocols by executable specifications

Yasunori Ishihara, Hiroyuki Seki and Tadao Kasami

生駒 : 奈良先端科学技術大学院大学, 1994.7

学内論文

メールで送信

宛先

件名

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • TR

R000639

メールで送信

宛先

件名

巻号情報へ戻る

詳細情報

刊年

1994

シリーズ名

Information Science Technical Report ; TR94026

標題言語

(eng)

本文言語

(eng)

著者情報

嵩, 忠雄(1930-) (カサミ, タダオ) [ 嵩, 忠雄(1930-2007) (カサミ, タダオ) ] [ Kasami, Tadao ]

関, 浩之 (セキ, ヒロユキ)

石原, 靖哲 (イシハラ, ヤスノリ)

ISSN

09199527

ブックマークを編集

リストを選択

メモ

リストを選択

ブックマークに登録

リストを選択

指定なし

メモ