日本ソフトウェア科学会第41回大会で基調講演をしました．

青木 利晃（北陸先端科学技術大学院大学）：次世代車載基盤システムへの形式手法の実践

日本ソフトウェア科学会第41回大会 基調講演 リンク