越來越大、越來越復雜的係統，使得應用在硬件和軟件的規範與驗證中的形式化方法越來越重要。本書旨在通過Petri網的形式化過程來闡述形式化方法中的相關進展。書中采用瞭許多實例，它們來源於不同的應用領域，例如柔性製造係統、工作流管理係統和電信係統。本書的內容涵蓋瞭一個係統在設計和實現的整個生命周期中的幾個主要階段，即規範、用於證明的模型驗證技術、性質分析、代碼生成和模型的執行。書中對這些技術及其支持工具進行瞭詳細的討論，並且分析瞭在實際應用中可能遇到的問題。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有