JAIST Repository >

著者:  "AOKI, TOSHIAKI"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

11 著者名表示.

発行日タイトル 著者
5-Aug-2002 Extracting threads from concurrent objects for the design of embedded systemsOkazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya
15-Jun-2003 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術)立石, 孝彰; 青木, 利晃; 片山, 卓也; TATEISHI, TAKAAKI; AOKI, TOSHIAKI; KATAYAMA, TAKUYA
21-Sep-2005 An Object-Oriented logic for software analysis and designYatake, Kenro; Aoki, Toshiaki; Katayama, Takuya
7-Mar-2007 Verification of Multi-Task SoftwareAoki, Toshiaki
10-Feb-2010 Automatic Generation of Model Checking Scripts based on Environment ModelingYatake, Kenro; Nishibata, Hirokazu; Aoki, Toshiaki
20-Apr-2010 Modeling of Real-Time System Designs for Parametric AnalysisChaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya
4-Jun-2012 高度な並行・並列組込みソフトウェアの検証法に関する研究青木, 利晃; Aoki, Toshiaki
18-Apr-2014 Model Checking Conformance of Design Model to Its Formal SpecificationVu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki
1-Jun-2015 形式手法の統合によるシームレスなソフトウェア開発手法の提案青木, 利晃; Aoki, Toshiaki
23-May-2016 Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating SystemAoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji
15-May-2018 次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究青木, 利晃; Aoki, Toshiaki

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係