Cover Image

Strategies for real-time system specification /

Show other versions (1)

Bibliographic Details
Main Author:	Hatley, Derek J., 1934-
Other Authors:	Pirbhai, Imtiaz A., 1953-
Format:	Book
Language:	English
Published:	New York, NY : Dorset House Pub., [1987]
Subjects:	Real-time data processing. System design.

Similar Items

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

Constructing predictable real time systems /
by: Halang, Wolfgang A., 1951-
Published: (1991)

Real-time systems design and analysis /
by: Laplante, Phillip A.
Published: (2004)

Real-time systems design and analysis : an engineer's handbook /
by: Laplante, Phillip A.
Published: (1993)

Introduction to the formal design of real-time systems /
by: Gray, David, 1946-
Published: (1999)

A practical approach to real-time systems : selected readings /
Published: (2000)

Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)

Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)

Structured development for real-time systems /
by: Ward, Paul T.
Published: (1985)

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

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

Temporal logic for real-time systems /
by: Ostroff, Jonathan S., 1954-
Published: (1989)

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

Designing large real-time systems with Ada /
by: Nielsen, Kjell
Published: (1988)

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

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

Codesign for real-time video applications /
by: Wilberg, Jörg
Published: (1997)

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)

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

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

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

Real-time systems scheduling.
Published: (2014)

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

A Practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systems /
Published: (1993)

Specification and proof in real-time CSP /
by: Davies, Jim, 1964-
Published: (1993)

Real-time systems : design principles for distributed embedded applications /
by: Kopetz, Hermann
Published: (1997)

Real-time systems : design principles for distributed embedded applications /
by: Kopetz, Hermann, et al.
Published: (2022)

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

Real-time management of resource allocation systems : a discrete event systems approach /
by: Reveliotis, Spyros A.
Published: (2005)

Real-time management of resource allocation systems : a discrete event systems approach /
by: Reveliotis, Spyros A.
Published: (2005)

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

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)

Handbook of real-time and embedded systems /
Published: (2008)

Embedded real-time systems /
by: Calvez, Jean Paul
Published: (1993)

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

Handbook of real-time and embedded systems /
Published: (2008)