Volume 13, Issue 3 | Real-Time Systems

Real-Time Systems

The International Journal of Time-Critical Computing Systems

Publishing model:: Hybrid

Submit your manuscript

Search all Real-Time Systems articles

Volume 13, Issue 3

November 1997

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Editorial
Bernd J. Krämer
Legacy Pages: 217 - 218
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
Antonino Mazzeo
Nicola Mazzocca
Valeria Vittorini
OriginalPaper Pages: 219 - 236
A Highly Dependable Computing Architecture for Safety-Critical Control Applications
Bernd J. Krämer
Norbert Völker
OriginalPaper Pages: 237 - 251
The ProCoS Approach to Correct Systems
Hans Langmaack
OriginalPaper Pages: 253 - 275
Building Large, Complex, Distributed Safety-Critical Operating Systems
Horst F. Wedde
Jon A. Lind
OriginalPaper Pages: 277 - 302