Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Real-Time Systems

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

Formal Specification and Automatic Verification

Ernst-Rüdiger OlderogHenning Dierks

Limba

engleză

Carte Copertă tare

Codul Libristo: 02048950

Editura Cambridge University Press, septembrie 2008

Real-time systems need to react to certain input stimuli within given time bounds. For example, an a... Descrierea completă

Codul Libristo: 02048950

297 b

645.85 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

138.75 lei

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

Foaie

5.20 lei

Vom Grundsatz der komplementargleichen Kommanditistenhaftung Christof Lehnen

Copertă tare

841.54 lei

Feldblumen Adalbert Stifter

Carte broșată

49.72 lei

Tutto il tempo del mondo Sara Purpura

Copertă tare

102.26 lei

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.