Engineering of Distributed Control Systems
Seiten
2002
Nova Biomedical (Verlag)
978-1-59033-102-6 (ISBN)
Nova Biomedical (Verlag)
978-1-59033-102-6 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
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.
Lonnie R Welch and Dieter K Hammer, Editors
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.
Erscheint lt. Verlag | 1.1.2002 |
---|---|
Zusatzinfo | tables & charts |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 398 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-59033-102-8 / 1590331028 |
ISBN-13 | 978-1-59033-102-6 / 9781590331026 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95