ホーム > 商品詳細

丸善のおすすめ度

形式的モデル化~離散事象/実時間/ハイブリッドシステムのモデル化と解析~

平石 邦彦  著

在庫状況 有り  お届け予定日 3~4日  数量 冊 
価格 \5,060(税込)         

発行年月 2019年01月
出版社/提供元
言語 日本語
媒体 冊子
ページ数/巻数 8p,229p
大きさ 22cm
ジャンル 和書/理工学/情報学/情報システム・ソフトウェア
ISBN 9784627854215
商品コード 1029226993
NDC分類 007.61
基本件名 システム工学
本の性格 学術書/実務向け
新刊案内掲載月 2019年02月4週
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1029226993

著者紹介

平石 邦彦(著者):北陸先端科学技術大学院大学教授 工博

内容

ソフトウェアが正しく設計されているかを保証するための手法として,システムを数学的に厳密なモデルで記述し,仕様が満たされているかどうかを数理的に調べる,「形式検証」が注目されている.

本書では,モデル検査に代表されるように,現実のシステムにも適用可能になってきた形式検証を理解し,使いこなすための理論的背景について解説する.

離散事象システム,実時間システム,ハイブリッドシステムなど,さまざまなシステムに対する形式的モデル化手法と,その解析方法が網羅された1冊.

目次

カート

カートに商品は入っていません。