トップページ  >  教員個別情報  >  講演・口頭発表
青木 利晃 (AOKI, Toshiaki)教授
融合科学系, 情報科学系, セキュリティ・ネットワーク領域, 高信頼IoT社会基盤研究拠点

講演・口頭発表

15件
車載システム開発における形式手法実践の現状と課題
2018
「IoT,AI,ビッグデータと安全工学」形式手法と安全性
安全工学研究発表会講演予稿集, 2018
Java Pathfinderにおける弱公平性条件の実装
日本ソフトウェア科学会大会講演論文集(CD-ROM), 2016
再利用のためのRTLからの関数コード生成手法
電子情報通信学会技術研究報告, 2014
Alloyを用いた構成変更支援ツールと適用実験
情報処理学会研究報告(CD-ROM), 2010
モデル検査による設計検証と整合テスト
情報処理学会研究報告(CD-ROM), 2009
リアルタイムオペレーティングシステムの検証について
情報処理学会シンポジウム論文集, 2008
モデル検査ツールを用いた状態遷移図の検証について
情報処理学会シンポジウム論文集, 2006