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>
国立国会図書館
Yoshiki Kinoshita [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.7<M159-B98>
国立国会図書館
Keishi Okamoto, Makoto Takeyama [著]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2009.12<M159-B116>
国立国会図書館
木下佳樹 [著], 産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所2008.9<Y251-J512>
国立国会図書館
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>
国立国会図書館
Makoto Takeyama [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2010.10<M159-B120>
国立国会図書館
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所 (組込みシステム技術連携研究体)2010.7<M159-J1079>
国立国会図書館
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所 (システム検証研究センター)2010.3<M159-J916>
国立国会図書館
吉田聡, 竹内泉, 小池憲史, 大崎人士 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.2<Y251-J242>
国立国会図書館
[by] Toshifusa Sekizawa [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2007.2<M159-B66>
国立国会図書館
産業技術総合研究所組込みシステム技術連携研究体 編産業技術総合研究所組込みシステム技術連携研究体2011.4<M159-J1289>
国立国会図書館
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.3<M159-J120>
国立国会図書館
小池憲史, 吉田聡, 大崎人士 [著], 産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.2<Y251-J244>
国立国会図書館
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2008.11<M159-J402>
国立国会図書館
[by] Takamura HirokiResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2008.3<M159-B73>
国立国会図書館
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>
国立国会図書館
[by] Ichiro HasuoResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2006.10<M159-B57>
国立国会図書館
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所 (システム検証研究センター)2009.5<M159-J584>
国立国会図書館
産業技術総合研究所システム検証研究センター 編産業技術総合研究所システム検証研究センター2008.1<M159-J104>
国立国会図書館
高木理, 渡邊宏, 武山誠 [著]産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.4<Y251-H773>
国立国会図書館