コンピュータソフトウェア2006年特集号「システム検証の科学技術」
Vol. 23, No. 3, pp. 85-90, 2006

同期型言語を用いたソフトウェア検証:
クルーズコントロールシステムにおける事例紹介(付録)

足立 正和†,富永 孝‡,佐野 範佳‡,潮 俊光†

† 大阪大学大学院基礎工学研究科
‡ 豊田中央研究所

原稿はこちらからダウンロードできます

お断り(かならずお読み下さい)
本ページのコンテンツは,実在の製品とは一切関係ありません.
当該記事に記載の参考文献で挙げた資料をもとに,独自に作成したものです.
動作確認は SCADE Drive 5.0 及び 5.0.1 で行っています.

また,以下の点をご了解頂くよう,お願いいたします.

本ページのコンテンツ