北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

著書表示
表示方法:
表示順:

 

 

青木 利晃 (アオキ トシアキ) 教授
融合科学系、情報科学系、セキュリティ・ネットワーク領域

4件中1-4件目

  • 1. Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods,Toshiaki Aoki, Kenji Taguchi (Eds.),Lecture Notes in Computer Science 7635, Springer,2012
  • 2. 青木利晃, 9章 組込みソフトウェアの静的検証技術(pp.271-307),沢田 篤史,et al.,組込みソフトウェア開発技術, CQ出版, ISBN 978-4-7898-4548-9
  • 3. 知識ベース, 7群1編2章5節 UML/ステートチャート,青木利晃,電子情報通信学会,pp.35-44
  • 4. SPINによる設計モデル検証,吉岡信和,青木利晃,田原康之,近代科学社,2008