Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 OA Explicit-time methodに基づくモデル検査器SLIMのリアルタイムシステムモデル検査器への拡張

著者
清水 涼子
巻号頁・発行日
pp.1-39, 2012-01-27

言及状況

Twitter (1 users, 1 posts, 0 favorites)

Explicit-time method に基づく モデル検査器 SLIM の リアルタイムシステムモデル検査器への 拡張 https://t.co/zNUBo5BJ7Z 上田研か。

収集済み URL リスト