JAIST Repository >
安心電子社会教育研究センター 2004～2016 >

このコミュニティ(サブコミュニティ)のコレクション

• JAIST 21世紀COEシンポジウム2005　「検証進化可能電子社会」 [12]

• JAIST 21世紀COEシンポジウム2006　「検証進化可能電子社会」 [1]

• JAIST 21世紀COEシンポジウム2007 「検証進化可能電子社会」 [20]

• JAIST 21世紀COEシンポジウム2008　「検証進化可能電子社会」 [24]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （1st VERITE） [15]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （3rd VERITE） [10]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （4th VERITE） [13]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （5th VERITE） [5]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （6th VERITE） [8]

• Theorem Proving and Provers Meeting （2nd TPP） [5]