形式検証技術の数理―安心・安全なシステム構築に向けて

計測と制御

Online ISSN : 1883-8170
Print ISSN : 0453-4662
ISSN-L : 0453-4662

総論

形式検証技術の数理―安心・安全なシステム構築に向けて

平石邦彦

著者情報

キーワード: 形式検証, 形式手法, 高信頼性, 離散事象システム

ジャーナルフリー

2009 年 48 巻 11 号 p. 793-796

DOI https://doi.org/10.11499/sicejl.48.793

詳細

記事の1ページ目

著者関連情報

© 2009 公益社団法人　計測自動制御学会

お気に入り & アラート

関連記事

閲覧履歴

前身誌

Top