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
Stock photo: cover may vary

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

by Olderog, Ernst-Rüdiger; Dierks, Henning

Add to wish list

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.

Details

  • Title Real-Time Systems: Formal Specification and Automatic Verification
  • Author Olderog, Ernst-Rüdiger; Dierks, Henning
  • Binding Hardback
  • Edition number 1st
  • Edition 1
  • Pages 344
  • Language ENG
  • Publisher Cambridge University Press, Cambridge
  • Publication date 2008-10
  • Features Bibliography, Index, Table of Contents
  • ISBN 9780521883337

More Copies for Sale

Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

by Dierks, Henning

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$27.14
A$16.30 Delivery to USA

Show details

Description:
Hardback. Good.
Add to wish list
Item price
A$27.14
A$16.30 Delivery to USA
Real-Time Systems: Formal Specification and Automatic Verification
Stock photo: cover may vary

Real-Time Systems: Formal Specification and Automatic Verification

by Ernst-Rüdiger Olderog et Henning Dierks

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$35.78
A$36.77 Delivery to USA

Show details

Description:
Cambridge University Press, 2008. Hardcover. Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$35.78
A$36.77 Delivery to USA
Real-Time Systems: Formal Specification and Automatic Verification
Stock photo: cover may vary

Real-Time Systems: Formal Specification and Automatic Verification

by Olderog, Ernst-Rüdiger

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$75.22
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$75.22
Free Delivery to USA
Real-Time Systems
Stock photo: cover may vary

Real-Time Systems

by E-R Olderog Ernst-Rüdiger Olderog

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$89.37
A$5.64 Delivery to USA

Show details

Description:
Cambridge University Press CUP , pp. xvi + 320 . Hardback. New.
Add to wish list
Item price
A$89.37
A$5.64 Delivery to USA
Real-Time Systems: Formal Specification And Automatic Verification
Stock photo: cover may vary

Real-Time Systems: Formal Specification And Automatic Verification

  • New
Condition
New
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$107.73
A$21.21 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$107.73
A$21.21 Delivery to USA
Real-Time Systems: Formal Specification And Automatic Verification
Stock photo: cover may vary

Real-Time Systems: Formal Specification And Automatic Verification

  • New
Condition
New
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$108.48
A$21.21 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$108.48
A$21.21 Delivery to USA
Real-Time Systems: Formal Specification and Automatic Verification
Stock photo: cover may vary

Real-Time Systems: Formal Specification and Automatic Verification

by Olderog, Ernst-R

  • New
  • Hardback
  • first
Condition
New
Edition
1
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$122.90
Free Delivery to USA

Show details

Description:
Cambridge University Press, 2008-10-06. 1. hardcover. New. 7.00x0.75x9.27. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$122.90
Free Delivery to USA
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

by Ernst-Rudiger Olderog

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
10
Seller
Item price
A$177.00
A$18.92 Delivery to USA

Show details

Description:
Hardback. New. 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.
Add to wish list
Item price
A$177.00
A$18.92 Delivery to USA
Real-Time Systems

Real-Time Systems

by Ernst-Rüdiger Olderog

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
387
Seller
Item price
A$181.26
A$15.19 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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: du
Add to wish list
Item price
A$181.26
A$15.19 Delivery to USA
Real Time Systems Formal Specification And Automatic Verification (Hb 2008)
Stock photo: cover may vary

Real Time Systems Formal Specification And Automatic Verification (Hb 2008)

by Olderog E R

  • New
Condition
New
ISBN 10 / ISBN 13
9780521883337 / 0521883334
Quantity available
1
Seller
Item price
A$211.28
A$32.45 Delivery to USA

Show details

Description:
Brand New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx, UPS, & USPS and we do not accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India.
Add to wish list
Item price
A$211.28
A$32.45 Delivery to USA