Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
形式手法の研究と実践から ざっくばらんに... 形式手法
形式手法とその数学的背景に関する研究
Poster
ソフトウエアの信頼性を高めるための
通信制御ソフトウェア開発における状態遷移表の実装効率化へ
状態遷移表に形式検証を適用する“嬉しさ”
モデル検査による アーキテクチャ設計検証
スライド
JAXAにおける形式手法に対する取組み