Dierks Henning (14 results)

Broschiert. Condition: Gut. 62 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Insgesamt ordentlicher Erhaltungszustand; Sprache: Deutsch Gewicht in Gramm: 100.

Hardcover. Condition: 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.…

Hardcover. Condition: New.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: 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.

Condition: New.

Condition: New. In English.

Hardcover. Condition: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.

Gebundene Ausgabe. Condition: Neu. 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. Sprache: Englisch Gewicht in Gramm: 707.…

hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Hardcover. Condition: gut. 2008. Real-Time Systems: Formal Specification and Automatic Verification In englischer Sprache. pages.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Retracing processes of knowledge mobility at the crossroads between Eastern Europe and the Middle East, this book helps to discover unexpected connections between spaces, time periods and discourses.Understanding flows of knowledge in a transcultural sett.…

Hardcover. Condition: 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 our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, time.…