num_pages: 151
description:  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.
language: English
title: Engineering of Distributed Control Sytems
titlecomplete: Engineering of Distributed Control Sytems
ratings_count: 2
publisher: Nova Science Pub Inc