IPA 独立行政法人 情報処理推進機構：第9回クリティカルソフトウェアワークショップ(WOCS2)

(独)宇宙航空研究開発機構(JAXA)情報・計算工学センター (独)情報処理推進機構（IPA）技術本部ソフトウェア・エンジニアリング・センター（SEC） 1日目：2011年11月17日（木） ■一般講演 ・10:00～17:00 形式手法とモデル 会議センター 4F[411+412] ・10:00～17:00 信頼と安全 会議センター 4F[413] 2日目：2011年11月18日（金） ■基調講演、招待講演 ・10:00～17:15 会議センター 5F[503] 開催場所： クリティカルソフトウェアワークショップ(Workshop Of Critical Software)は、（独）宇宙航空研究開発機構（JAXA）と（独）情報処理推進機構（IPA）が、産業分野の枠、さらには産・学・官の枠をも超えた議論の場として開催しているワークショップです。今回は、「安全で信頼できるシステムのためのソフ