Synopsis
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos des auteurs
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Real-Time Systems: Formal Specification and Automatic...
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Ancien ou d'occasion
Couverture rigide
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : 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 réf. du vendeur GOR007278795
Acheter D'occasion
EUR 4,68
Expédition à EUR 6,48
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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 réf. du vendeur H-434-343
Acheter D'occasion
EUR 19,45
Expédition à EUR 20,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems
Edité par
Cambridge University Press CUP, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xvi + 320. N° de réf. du vendeur 26531931
Acheter neuf
EUR 51,22
Expédition à EUR 3,47
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xvi + 320 Illus. N° de réf. du vendeur 8364548
Acheter neuf
EUR 48,36
Expédition à EUR 7,53
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xvi + 320. N° de réf. du vendeur 18531921
Acheter neuf
EUR 47,86
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-103730
Acheter neuf
EUR 69,28
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification And Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur ABNR-184042
Acheter neuf
EUR 69,28
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521883337
Acheter neuf
EUR 112,86
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521883337_new
Acheter neuf
EUR 104,48
Expédition à EUR 13,87
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Real-Time Systems (Hardcover)
Edité par
Cambridge University Press, Cambridge, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Edition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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 réf. du vendeur 9780521883337
Acheter neuf
EUR 120,58
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)