東海大学蔵書検索
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • レビュー履歴
    • タグ履歴
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼

東海大学蔵書検索

拡張TSチャートによるリアルタイムシステムのタイミング検証

孫, 志太; 大原, 茂之; 飯田, 昌盛, 1993.03.30. -- (東海大学紀要. 工学部. Vol.32 No.2(1992)). w. <TC20003190>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

拡張TSチャートによるリアルタイムシステムのタイミング検証

孫, 志太; 大原, 茂之; 飯田, 昌盛, 1993.03.30. -- (東海大学紀要. 工学部. Vol.32 No.2(1992)). w. <TC20003190>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

ページリンク
kj00000120722.pdf

書誌詳細

タイトル 拡張TSチャートによるリアルタイムシステムのタイミング検証
タイトル(その他) Timing Verification for Real-Time Systems by Using Extended TS Charts
作成者 孫, 志太
Sun, Zhitai
作成者 大原, 茂之
オオハラ, シゲユキ
Ohara, Shigeyuki
作成者 飯田, 昌盛
イイダ, マサモリ
Iida, Masamori
公開者 東海大学工学部
掲載巻号 東海大学紀要. 工学部. Vol.32 No.2(1992) <TB20000284>
ISSN 24343633
雑誌名 東海大学紀要. 工学部
巻次等 32
号 2
開始終了ページ 77-82
発行日 1993.03.30
主題 Extended TS Charts
主題 Real-Time System
主題 Processing Time
主題 Execution Timing
主題 Time Constraints
主題 Time Verification
資料種別(NIIタイプ) 紀要論文
フォーマット PDFファイル
このページのTOPへ
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    この書誌のQRコード