基本情報
内容詳細
複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。
目次 : 第1部 システムのモデル化(システムの概念/ オートマトンと形式言語 ほか)/ 第2部 性質・ふるまいの記述(時相論理によるシステムの性質の記述/ 遷移システム・ラベル付き遷移システム)/ 第3部 拡張モデル(時間・確率システムのモデル化/ ハイブリッドシステムのモデル化)/ 第4部 解析・検証・制御(基本的解析問題/ 決定性時間システム・ハイブリッドシステムの解析 ほか)
【著者紹介】
平石邦彦 : 1983年東京工業大学工学部制御工学科卒業。1985年東京工業大学理工学研究科制御工学専攻修了。富士通(株)国際情報社会科学研究所研究員。1993年北陸先端科学技術大学院大学情報科学研究科助教授。2003年同教授。2016年同大学情報社会基盤研究センター長。工学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
ユーザーレビュー
読書メーターレビュー
人物・団体紹介
平石邦彦
1983年東京工業大学工学部制御工学科卒業。1985年東京工業大学理工学研究科制御工学専攻修了。富士通(株)国際情報社会科学研究所研究員。1993年北陸先端科学技術大学院大学情報科学研究科助教授。2003年同教授。2016年同大学情報社会基盤研究センター長。工学博士(本データはこの書籍が刊行された当
物理・科学・医学 に関連する商品情報
-
『さかなクンのギョギョッとサカナ★スター図鑑3』6月25日発売 さかなクンの大人気番組の書籍化。魚のさばき方からはく製作りまで、めざせさかなクン! 付録はさかなクン直筆お魚イラスト... |2024年04月09日 (火) 00:00
-
ノーベル賞2022 | 受賞者著作、関連本 今年の受賞者は10月3日(月)から10日(月)にかけて発表されます。生理学・医学賞、物理学賞、化学賞、文学賞、平和賞... |2022年10月03日 (月) 18:30
-
最新研究が示す恐るべき真実『スマホ脳』 睡眠障害、うつ、記憶力や集中力、学力の低下、依存――最新研究が明らかにするのはスマホの便利さに溺れているうちにあなた... |2021年03月15日 (月) 13:00
-
【特集】読んで学ぶ・知る「新型コロナウイルス」「感染症」 今読まれている、新型コロナウイルス・感染症関する本。ベストセラー/医学系専門書/文芸・新書などをご紹介。 |2020年05月19日 (火) 00:00
-
BLSヘルスケアプロバイダーコースの本 病院の内外で実践できる,個人およびチームのBLSスキルを指導する『BLSヘルスケアプロバイダー受講者マニュアル』のほ... |2016年02月10日 (水) 16:45
おすすめの商品
商品情報の修正
ログインのうえ、お気づきの点を入力フォームにご記入頂けますと幸いです。確認のうえ情報修正いたします。
このページの商品情報に・・・