Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Editorial Team
Call for papers
Submissions
Current Issue
Archives
About
About the Journal
Journal Indexing
Contact
Steering committee
Search
Register
Login
Home
/
Archives
/
Vol. 1 No. 2 (1998)
Vol. 1 No. 2 (1998)
Published:
1998-06-09
Editorial
Open Problems in the Distributed Control Systems Domain
Lonnie R. Welch
Introduction to the Special Issue
Engineering of Distributed Control Systems
Lonnie R. Welch, Dieter K. Hammer
Proposal for Special Issue Papers
A Real-Time Java Server for Real-Time Mach
Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda
Use Cases for Distributed Real-time Software Architectures
Hassan Gomaa
Formal Design of Real-Time Systems in a Platform-Independent Way
Jozef Hooman, Onno van Roosmalen
Real-Time Scheduling in Video Systems
E. A. de Kock, Emile H. L. Aarts, G. Essink
Integrated Scheduling of Tasks and Messages in Distributed Real-Time Systems
G. Manimaran, Shashidhar Merugu, Anand Manikutty, C. Siva Ram Murthy
Automatic Effective Verification Method for Distributed and Concurrent Systems Using Timed Language Inclusion
Satoshi Yamane
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems
R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, S. Kowalewski, J. Preuig
Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs
Jan Gustafsson, Andreas Ermedahl
Latest publications
Information
For Authors
For Librarians
ISSN
1895-1767
Social media