博士論文公聴会 2015年度9月学位申請

情報科学研究科では博士の学位審査の一環として下記の要領で公聴会を実施します。

• 日時: 2015年6月12日(金) 15:30 –
• 場所: 法政大学小金井校舎 西館2階 W103教室

次第

李　漠　氏

• 時間: 15:30 –
• 論文題目: A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
• 指導教授: 劉　少英 教授