Zによるシステム仕様記述のための変換技術に関する基礎的研究, 要旨

Zによるシステム仕様記述のための変換技術に関する基礎的研究, 要旨

Z ニヨル システム シヨウ キジュツ ノタメノ ヘンカン ギジュツ ニ カンスル キソテキ ケンキュウ

張漢明

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

Thesis / Diss.

There are further volumes for this material.

Show other volumes

Volume No.

要旨
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R004375

Details

Publication year

1999

Series title

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 1999年3月

Note

学位記番号: 博第43号

報告番号: 甲第43号

授与年月日: 1999/03/24

学位の種類: 博士(工学)

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

張, 漢明 (チョウ, カンメイ)

Subject

システム仕様記述

仕様記述変換

モデル化

仕様記述分析

形式的手法

Z