CPSの形式検証——超準解析によるアプローチ

計測と制御

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

解説

CPSの形式検証——超準解析によるアプローチ

蓮尾一郎, 末永幸平

著者情報

キーワード: サイバーフィジカルシステム, ハイブリッドシステム, 形式検証, プログラム論理, 超準解析

ジャーナルフリー

2014 年 53 巻 12 号 p. 1080-1085

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

詳細

記事の1ページ目

著者関連情報

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

お気に入り & アラート

関連記事

閲覧履歴

前身誌

Top