Product Details
ISBN/Catalogue Number
：
ISBN 13 : 9784627854215
ISBN 10 : 4627854218
ISBN 10 : 4627854218
Format
：
Books
Release Date
：
January/2019
Content Description
複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。
目次 : 第１部 システムのモデル化（システムの概念/ オートマトンと形式言語 ほか）/ 第２部 性質・ふるまいの記述（時相論理によるシステムの性質の記述/ 遷移システム・ラベル付き遷移システム）/ 第３部 拡張モデル（時間・確率システムのモデル化/ ハイブリッドシステムのモデル化）/ 第４部 解析・検証・制御（基本的解析問題/ 決定性時間システム・ハイブリッドシステムの解析 ほか）
【著者紹介】
平石邦彦 : １９８３年東京工業大学工学部制御工学科卒業。１９８５年東京工業大学理工学研究科制御工学専攻修了。富士通（株）国際情報社会科学研究所研究員。１９９３年北陸先端科学技術大学院大学情報科学研究科助教授。２００３年同教授。２０１６年同大学情報社会基盤研究センター長。工学博士（本データはこの書籍が刊行された当時に掲載されていたものです）
（「BOOK」データベースより）
Customer Reviews
Book Meter Reviews
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .