Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Olderog, Ernst-Rudiger/ Dierks, Henning 作者

譯者

2008-9 出版日期

344 頁數

$ 100.57 價格

叢書系列

9780521883337 圖書編碼

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書圖書標籤:

喜歡 Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-10-03

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書用戶評價

評分☆☆☆☆☆

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書著者簡介

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書圖書描述

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.

Book Description

An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.

Real.Time.Systems.Formal.Specification.and.Automatic.Verification 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!