Sinopsis
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
"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: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR007278795
Comprar usado
EUR 6,73
Envío por EUR 6,42
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: 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 67,27
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: ABNR-184042
Comprar nuevo
EUR 67,27
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
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 65,16
Envío por EUR 3,36
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 62,18
Envío por EUR 7,46
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 63,76
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: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190020196
Comprar nuevo
EUR 96,76
Envío por EUR 3,36
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: 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: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521883337
Comprar nuevo
EUR 109,28
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. 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 116,76
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: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780521883337_new
Comprar nuevo
EUR 103,54
Envío por EUR 13,74
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles