Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >

AOKI Toshiaki ProfessorFaculty Profile

No.Bibliographical information
1 次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究 / 青木, 利晃, 科学研究費助成事業研究成果報告書, pp.1-5, 2018-05-15
2 Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System / Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji, Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology), IS-RR-2016-002, pp.1-11, 2016-05-23, 北陸先端科学技術大学院大学先端科学技術研究科情報科学系
3 形式手法の統合によるシームレスなソフトウェア開発手法の提案 / 青木, 利晃, 科学研究費助成事業研究成果報告書, pp.1-5, 2015-06-01
4 Model Checking Conformance of Design Model to Its Formal Specification / Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-001, pp.1-18, 2014-04-18, 北陸先端科学技術大学院大学情報科学研究科
5 高度な並行・並列組込みソフトウェアの検証法に関する研究 / 青木, 利晃, 科学研究費補助金研究成果報告書, pp.1-5, 2012-06-04
6 マルチタスクソフトウェアの検証法 / 青木, 利晃, pp.1-23, 2007-09-06
7 モデル検査手法1の普及に関する取り組み / 青木, 利晃, pp.1-17, 2007-09-06
8 Verification of Multi-Task Software / Aoki, Toshiaki, pp.1-25, 2007-03-07
9 An Object-Oriented logic for software analysis and design / Yatake, Kenro, Aoki, Toshiaki, Katayama, Takuya, pp.1-27, 2005-09-21
10 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) / 立石, 孝彰, 青木, 利晃, 片山, 卓也, 情報処理学会論文誌, 44(6), pp.1448-1460, 2003-06-15, 情報処理学会
11 Extracting threads from concurrent objects for the design of embedded systems / Okazaki, Mitsutaka, Aoki, Toshiaki, Katayama, Takuya, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2002-019, pp.1-10, 2002-08-05, 北陸先端科学技術大学院大学情報科学研究科

 
Contact : Library Information Section, Japan Advanced Institute of Science and Technology