yr 〜
yr

Search results 18

産業技術総合研究所システム検証研究センターnews letter : CVSニュースレター総集編 [複製版]

産業技術総合研究所システム検証研究センターnews letter : CVSニュースレター総集編 [複製版]
Paper雑誌
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2010<Z79-B478>
National Diet Library
  • Note (Original Version)原資料の出版事項: 豊中 : 産業技術総合研究所システム検証研究センター, 2005-2010
  •  
  •  
  •  
  •  
  •  
    •  

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2010.2<M159-J922>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

システム検証の科学技術シンポジウム : 講演論文集 第5回 (算譜科学研究速報 ; AIST-PS-2009-1)

システム検証の科学技術シンポジウム : 講演論文集 第5回 (算譜科学研究速報 ; AIST-PS-2009-1)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2009.2<M159-J553>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2008.12<M159-J554>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

システム検証研究センター研究報告集 2007年度 (算譜科学研究速報)

システム検証研究センター研究報告集 2007年度 (算譜科学研究速報)
Paper図書
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.3<M159-J120>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

フォーマルメソッドのフィールドワーク (算譜科学研究速報 ; AIST-PS-2008-8)

フォーマルメソッドのフィールドワーク (算譜科学研究速報 ; AIST-PS-2008-8)
Paper図書
木下佳樹, 高井利憲 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.3<Y251-J245>
National Diet Library

再帰的定義を可能にする述語論理の証明支援系上の実装(preliminary version) (算譜科学研究速報 ; AIST-PS-2008-7)

再帰的定義を可能にする述語論理の証明支援系上の実装(preliminary version) (算譜科学研究速報 ; AIST-PS-2008-7)
Paper図書
矢田部俊介 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.3<Y251-J243>
National Diet Library

モデル検査研修コース 中級編 (算譜科学研究速報 ; AIST-PS-2008-15)

モデル検査研修コース 中級編 (算譜科学研究速報 ; AIST-PS-2008-15)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2008.11<M159-J402>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

図示記法表現とLTL論理式 (算譜科学研究速報 ; AIST-PS-2008-5)

図示記法表現とLTL論理式 (算譜科学研究速報 ; AIST-PS-2008-5)
Paper図書
吉田聡, 竹内泉, 小池憲史, 大崎人士 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.2<Y251-J242>
National Diet Library

LTLモデル検査のための図示記法 (算譜科学研究速報 ; AIST-PS-2008-4)

LTLモデル検査のための図示記法 (算譜科学研究速報 ; AIST-PS-2008-4)
Paper図書
小池憲史, 吉田聡, 大崎人士 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.2<Y251-J244>
National Diet Library

モデル検査研修コース : draft版 中級編 (算譜科学研究速報 ; AIST-PS-2008-1)

モデル検査研修コース : draft版 中級編 (算譜科学研究速報 ; AIST-PS-2008-1)
Paper図書
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.1<M159-J104>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

システム検証の事例報告集 2007年度版 (算譜科学研究速報 ; AIST-PS-2008-3)

システム検証の事例報告集 2007年度版 (算譜科学研究速報 ; AIST-PS-2008-3)
Paper図書
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.1<M159-J119>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

ソフトウェア更新システムのモデル検査によるセキュリティ (算譜科学研究速報 ; AIST-PS-2007-8)

ソフトウェア更新システムのモデル検査によるセキュリティ (算譜科学研究速報 ; AIST-PS-2007-8)
Paper図書
山形頼之, 斎藤正也 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2007.7<Y251-H1652>
National Diet Library

ソフトウェア更新システムプロトコルのBAN logicによる安全性検証 : preliminary version (算譜科学研究速報 ; AIST-PS-2007-6)

ソフトウェア更新システムプロトコルのBAN logicによる安全性検証 : preliminary version (算譜科学研究速報 ; AIST-PS-2007-6)
Paper図書
吉田聡, 山形頼之 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2007.6<Y251-H1575>
National Diet Library

環境ドライバを用いたモデル検査による検証事例 (算譜科学研究速報 ; AIST-PS-2007-10)

環境ドライバを用いたモデル検査による検証事例 (算譜科学研究速報 ; AIST-PS-2007-10)
Paper図書
高井利憲, 古橋隆宏, 尾崎弘幸, 大崎人士 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2007.10<Y251-H1755>
National Diet Library

システム検証の科学技術シンポジウム予稿集 第3回 (算譜科学研究速報)

システム検証の科学技術シンポジウム予稿集 第3回 (算譜科学研究速報)
Paper図書
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2006.10<M159-H1663>
National Diet Library
  • Author Heading産業技術総合研究所システム検証研究センター

Reached to the end of result.