Specification and proof in real-time CSP /

Strategies for real-time system specification /
by: Hatley, Derek J., 1934-
Published: (1988)

Timing analysis of real-time software : a practical approach to the specification and design of real-time ... /
by: Motus, L.
Published: (1994)

Real-time systems : formal specification and automatic verification /
by: Olderog, E.-R
Published: (2008)

Informations-logische Automaten. : Automatisierung im Informations- und Bibliothekswesen /
by: Gutenmakher, Lev Izraĭlevich
Published: (1966)

Real-time systems /
by: Krishna, C. M. (C. Mani)
Published: (1997)

Foundations of real-time computing : formal specifications and methods /
Published: (1991)

Advances in real-time systems /
Published: (1995)

Real-time systems /
by: Liu, Jane W. S.
Published: (2000)

Switching theory for logic synthesis /
by: Sasao, Tsutomu, 1950-
Published: (1999)

Real-time systems : investigating industrial practice /
Published: (1993)

Real-time systems.
Published: (1989)

Real-time systems : modeling, design, and applications /
Published: (2007)

Real-time systems : scheduling, analysis, and verification /
by: Cheng, Albert M. K.
Published: (2002)

Real-time systems : modeling, design, and applications /
Published: (2007)

Advances in real-time systems /
Published: (1993)

The design of real time applications /
by: Blackman, Maurice
Published: (1976)

Real-time computer systems /
by: Freedman, A. L.
Published: (1977)

Real-time systems scheduling.
Published: (2014)

Introduction to probabilistic automata.
by: Paz, Azaria
Published: (1971)

Unlocking the value of real-time analytics : how to architect a real-time data infrastructure /
by: Gardner, Christopher
Published: (2023)

Foundations of real-time computing : scheduling and resource management /
Published: (1991)

Guide to the design of real-time systems /
by: Rothstein, Michael F.
Published: (1970)

Formal methods for real-time computing /
Published: (1996)

Design of real-time computer systems /
by: Martin, James, 1933-2013
Published: (1967)

Synchronization in real-time systems : a priority inheritance approach /
by: Rajkumar, Ragunathan
Published: (1991)

Real-time data processing systems ; introductory concepts /
by: Desmonde, William Herbert, 1921-
Published: (1964)

Introduction to the theory of finite automata
by: Kobrinskiĭ, Natan Efimovich, et al.
Published: (1965)

Hard real-time computing systems : predictable scheduling algorithms and applications /
by: Buttazzo, Giorgio C., 1960-
Published: (2005)

Scheduling in real-time systems /
by: Cottet, Francis
Published: (2002)

Real-time microprocessor systems /
by: Savitzky, Stephen R.
Published: (1985)

Scheduling in real-time systems /
Published: (2002)

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings /
Published: (1992)

The testability of distributed real-time systems /
by: Schütz, Werner, 1961-
Published: (1993)

Hard real-time communication in multiple-access networks /
by: Malcolm, Nicholas
Published: (1993)

A practical guide to real-time systems development /
by: Goldsmith, Sylvia
Published: (1993)

Hard real-time scheduling for the rate-group model /
by: Kim, Myung Jun
Published: (1992)