Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Real-Time Systems

Name: Real-Time Systems
Brand: Cambridge University Press
SKU: 02048950
Price: 2712 CZK
Availability: InStock
Author: Ernst-Rüdiger OlderogHenning Dierks
ISBN: 9780521883337

Formal Specification and Automatic Verification

Ernst-Rüdiger OlderogHenning Dierks

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02048950

Nakladatelství Cambridge University Press, září 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an a... Celý popis

Libristo kód: 02048950

271 b

2 712 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Mosaïque, 300 astuces, motifs et secrets de fabrication Bonnie Fitzgerald

Brožovaná

639 Kč

Nábřeží Jiří Michálek

List

23 Kč

Vom Grundsatz der komplementargleichen Kommanditistenhaftung Christof Lehnen

Pevná

3 715 Kč

Feldblumen Adalbert Stifter

Brožovaná

204 Kč

Tutto il tempo del mondo Sara Purpura

Pevná

471 Kč

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.