Jump to main content

博士論文

実時間システムの仕様記述と検証に関する研究

Icons representing 博士論文
The cover of this title could differ from library to library.

Available with Digitized Contents Transmission Service

Find on the publisher's website

NDL Digital Collections

Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.

Become an official registered user >

Log in >

実時間システムの仕様記述と検証に関する研究

Call No. (NDL)
UT51-97-H414
Bibliographic ID of National Diet Library
000000308815
Persistent ID (NDL)
info:ndljp/pid/3123625
Material type
博士論文
Author
山根智 [著]
Publisher
-
Date granted
平成9年3月24日
Material Format
Paper・Digital
Capacity, size, etc.
-
Degree grantor and degree
京都大学,博士 (工学)
View All

Notes on use

Note (General)：

博士論文

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Table of Contents

Provided by：国立国会図書館デジタルコレクション

  • 論文目録

  • 目次

    p1

  • 1 緒論

    p1

  • 1.1 研究の目的

    p1

  • 1.2 研究の背景

    p2

Search by Bookstore

Read in Disability Resources

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
博士論文
Title
実時間システムの仕様記述と検証に関する研究
Title Transcription
ジツジカン システム ノ シヨウ キジュツ ト ケンショウ ニ カンスル ケンキュウ
Author/Editor
山根智 [著]
Author Heading
山根, 智 ヤマネ, サトシ
Degree Grantor
京都大学
Date Granted
平成9年3月24日
Date Granted (W3CDTF)
1997
Dissertation Number
乙第9577号
Degree Type
博士 (工学)