Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca de los autores
E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).
H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Real-Time Systems Hardback: Formal Specification and...
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: H-434-343
Comprar usado
EUR 26,91
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems
Publicado por
Cambridge University Press CUP, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xvi + 320. Nº de ref. del artículo: 26531931
Comprar nuevo
EUR 52,48
Envío por EUR 3,43
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xvi + 320 Illus. Nº de ref. del artículo: 8364548
Comprar nuevo
EUR 49,65
Envío por EUR 7,45
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xvi + 320. Nº de ref. del artículo: 18531921
Comprar nuevo
EUR 47,98
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-103730
Comprar nuevo
EUR 69,75
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification And Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABBB-175285
Comprar nuevo
EUR 69,95
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: Abebooks143631
Comprar nuevo
EUR 74,43
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521883337
Comprar nuevo
EUR 116,97
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Real-Time Systems (Hardcover)
Publicado por
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuevo
Tapa dura
Original o primera edición
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780521883337
Comprar nuevo
EUR 125,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Real-Time Systems: Formal Specification and Automatic Verification
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0521883334
Comprar nuevo
EUR 114,16
Envío por EUR 14,33
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles