Real-time systems : formal specification and automatic verification /

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

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

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

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

Real-time systems.
Published: (1989)

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

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)

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

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

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

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

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

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)

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

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

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

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

Real time systems : management and design /
by: Tebbs, David
Published: (1977)

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

Modeling and verification of real-time systems : formalisms and software tools /
Published: (2008)

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

Formal techniques in real-time and fault-tolerant systems /
Published: (1993)

Real-time systems and programming languages : Ada 95, real-time Java, and real-time POSIX /
by: Burns, Alan, 1953-
Published: (2001)

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

Software engineering for real-time systems /
by: Cooling, J. E.
Published: (2003)

Real-time systems and software /
by: Shaw, Alan C., 1937-
Published: (2001)

Real-time systems : implementation of industrial computerised process automation /
by: Halang, Wolfgang A., 1951-
Published: (1992)

Real-time systems and their programming languages /
by: Burns, Alan, 1953-
Published: (1990)

Schedulability criteria for fixed priority scheduling of real- time systems /
by: Park, Dong-Won
Published: (1992)