Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle

簡體網頁||繁體網頁
Spichkova, Maria 作者
VDM Verlag Dr. Müller
譯者
2008-4-15 出版日期
292 頁數
$ 125.43 價格
Paperback
叢書系列
9783836494526 圖書編碼

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 圖書標籤:  


喜歡 Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-29

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 用戶評價

評分

評分

評分

評分

評分

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 著者簡介


Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 著者簡介


Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 圖書描述

The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validation methodologies are treated as a single, joined, methodology with the main focus on the specification part. The key contributions of the thesis are + Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. "Focus on Isabelle" enables to validate and verify system specifications in a methodological way. + Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions. + Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有