BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Stock photo: cover may vary

Real-Time Systems: Formal Specification and Automatic Verification Hardback - 2008 - 1st Edition

by Olderog, Ernst-R

Add to wish list
  • New
  • Hardback
  • first
New

Description

Cambridge University Press, 2008-10-06. 1. hardcover. New. 7.00x0.75x9.27. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$122.90
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

  • Title Real-Time Systems: Formal Specification and Automatic Verification
  • Author Olderog, Ernst-R
  • Binding Hardback
  • Edition number 1st
  • Edition 1
  • Condition New
  • Pages 344
  • Language ENG
  • Publisher Cambridge University Press, Cambridge
  • Publication date 2008-10-06
  • Features Bibliography, Index, Table of Contents
  • Bookseller's Inventory # DADAX0521883334
  • ISBN 9780521883337
  • Weight 0.11 lbs (0.05 kg)
  • Size 7.00x0.75x9.27
  • Quantity available 1

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Real-Time Systems: Formal Specification and Automatic Verification

From the publisher

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.
tracking-