文献
J-GLOBAL ID:200902103220368268
整理番号:93A0551195
時相論理を利用したシーケンス制御系の自動検証
Automatic Verification of Sequential Control Systems Using Temporal Logic.
-
出版者サイト
複写サービスで全文入手
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0551195&from=J-GLOBAL&jstjournalNo=X0014A") }}