チュートリアル：モデル検査ツールUPPAALを使った時間制約の検証

■講師
長谷川哲夫氏 (東芝ソフトウェア技術センター)
■日時
* 2007年11月16日(金)
* 午前10時30分〜午後5時（受付開始：午前10時）
■会場
国立情報学研究所 12階会議室

というチュートリアルがあるそうです。トップSEプロジェクトの一環だそうで。