MENU

お問い合わせ

  • 稚内北星学園大学
  • 097-0013
  • 北海道稚内市若葉台1-2290-28
  • TEL : 0162-32-7511
  • フリーダイヤル : 0120-311014
  • FAX : 0162-32-7500
  • MAIL : info@wakhok. ac.jp

資料請求はこちら


  • まちなかメディアラボ
  • 097-0022
  • 北海道稚内市中央3丁目9-12
  • TEL : 0162-22-6565
  • FAX : 0162-73-0973
  • MAIL : machilabo@wakhok.ac.jp

講演会「形式手法と検証技術が創る 高信頼性システムの世界」を開催

2013年12月19日

 12月18日(水)、信州大学工学部情報工学科の和崎 克己(わさき かつみ)教授をお招きし、講演会「形式手法と検証技術が創る 高信頼性システムの世界」を開催しました。

 講演では、ペースメーカーや電子マネー、自動車などを例に、システムの高信頼性を実現するための様々な検証技術を紹介しました。

 質疑応答では、参加者から活発的な質問も飛び交い、盛況のうちに幕を閉じました。



Copyright © Wakkanai Hokusei Gakuen University. All rights reserved.