Duration Specifications for Shared Processors

Zhou Chaochen, Michael R. Hansen, A. P. Ravn, Hans Rischel

TypeConference paper [With referee]
ConferenceSymposium on Formal Techniques in Real-Time and Fault Tolerant Systems
EditorsJ.~Vytopil
Year1991    Vol. 571    pp. 21-32
PublisherSpringer-Verlag
SeriesLNCS
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering