Contents: Use Cases for Distributed Real-Time Software Architectures; Formal Design of Real-Time Systems in a Platform-Independent Way; Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion; Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems; Automatic Derivation of Path and Loop Annotations; Integrated Scheduling of Tasks and Messages in Distributed Real-Time Systems; Real-Time Scheduling in Video Systems; A Real-Time Java Server for Real-Time Mach; Index.
"synopsis" may belong to another edition of this title.
Lonnie R Welch and Dieter K Hammer, Editors
"About this title" may belong to another edition of this title.
Shipping:
US$ 9.82
From Germany to U.S.A.
Seller: medimops, Berlin, Germany
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M01590331028-G
Quantity: 1 available
Seller: dsmbooks, Liverpool, United Kingdom
Hardcover. Condition: Good. Good. book. Seller Inventory # D8S0-3-M-1590331028-3
Quantity: 1 available