Jump to main content

yr 〜
yr

Search results 82

Interpretation of STM by CSP (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2012-1)

Interpretation of STM by CSP (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2012-1)
Paper図書
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Noriyuki Katahira, Van Tang Nguyen, Hitoshi Ohsaki [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2012.1<M159-B136>
National Diet Library

FM approaches to assurance cases : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-10)

FM approaches to assurance cases : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-10)
Paper図書
Keishi Okamoto, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.12<M159-B116>
National Diet Library

User oriented dependability : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-7)

User oriented dependability : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-7)
Paper図書
Yoshiki Kinoshita [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B98>
National Diet Library

システム検証研究センター研究報告集 2009年度 (算譜科学研究速報 ; AIST-PS-2010-2)

システム検証研究センター研究報告集 2009年度 (算譜科学研究速報 ; AIST-PS-2010-2)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所 (システム検証研究センター)2010.3<M159-J916>
National Diet Library

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

システム検証の事例報告集 2009年度版 (算譜科学研究速報 ; AIST-PS-2010-5)
Paper図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所 (組込みシステム技術連携研究体)2010.7<M159-J1079>
National Diet Library

SENS-specification language for embedded network systems-toward automatic test generation : preliminary version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2011-2)

SENS-specification language for embedded network systems-toward automatic test generation : preliminary version (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2011-2)
Paper図書
Eun Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, Osamu Mizuno [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2011.8<M159-B129>
National Diet Library

Agda言語について (算譜科学研究速報 ; AIST-PS-2008-14)

Agda言語について (算譜科学研究速報 ; AIST-PS-2008-14)
Paper図書
木下佳樹 [著], 産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所2008.9<Y251-J512>
National Diet Library

形式手法の産業界応用ワークショップ : 予稿集 2011 (算譜科学研究速報 ; AIST-PS-2011-1)

形式手法の産業界応用ワークショップ : 予稿集 2011 (算譜科学研究速報 ; AIST-PS-2011-1)
Paper図書
産業技術総合研究所組込みシステム技術連携研究体 編産業技術総合研究所組込みシステム技術連携研究体2011.4<M159-J1289>
National Diet Library

A note on"D-Cases as proofs as programs" : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2010-7)

A note on"D-Cases as proofs as programs" : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2010-7)
Paper図書
Makoto Takeyama [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2010.10<M159-B120>
National Diet Library

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

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

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

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

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

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

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

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

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

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

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

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

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
Paper図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2012.1<M159-J1528>
National Diet Library

Formalization of system LSI specification and automatic generation of verification items : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-6)

Formalization of system LSI specification and automatic generation of verification items : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2009-6)
Paper図書
Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B97>
National Diet Library

MLAT: Modal logic abstraction tool (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2007-4)

MLAT: Modal logic abstraction tool (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2007-4)
Paper図書
[by] Toshifusa Sekizawa [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.2<M159-B66>
National Diet Library

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

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

システム検証研究センター研究報告集 2008年度 (算譜科学研究速報 ; AIST-PS-2009-3)

システム検証研究センター研究報告集 2008年度 (算譜科学研究速報 ; AIST-PS-2009-3)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所 (システム検証研究センター)2009.5<M159-J583>
National Diet Library
RSS