http://www.topse.jp/tutorial/UPPAAL-tutorial-20071116.html ■講師 長谷川哲夫氏 (東芝 ソフトウェア技術センター) ■日時 * 2007年11月16日(金) * 午前10時30分〜午後5時（受付開始：午前10時） ■会場 国立情報学研究所 12階会議室 というチュートリアルが…