みなさま お世話になっております． 名古屋大学常駐研究員 ヴィッツ伊藤です． TOPPERS/ATK2-SC3-TPを用いたセーフティーガイドラインを リリースしました． 以下のURLからダウンロードできます． https://www.toppers.jp/atk2.html 以上，よろしくお願い致します． -- 伊藤良樹 <itoyo ＠ nces.is.nagoya-u.ac.jp> 名古屋大学大学院情報科学研究科 附属組込みシステム研究センター 常駐研究員 〒464-8601 名古屋市千種区不老町C3-2 TEL: 052-789-4230 (内線 : 4230) FAX:052-789-4237