講演『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』の資料公開の案内
講演『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』の資料公開の案内です。
国立研究開発法人宇宙航空研究開発機構(JAXA)と独立行政法人情報処理推進機構(IPA)による共催で、2016年1月19日から21日にコングレスクエア日本橋で実施された
『第13回クリティカルソフトウェアワークショップ (13thWOCS2)』
で一般講演をしてきました。
抄録および講演資料は下記のURLからダウンロード可能です。
| 固定リンク
最近のコメント