Strategies for real-time system specification /
| 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: |
Similar Items
Strategies for real-time system specification /
by: Hatley, Derek J., 1934-
Published: (1988)
by: Hatley, Derek J., 1934-
Published: (1988)
Constructing predictable real time systems /
by: Halang, Wolfgang A., 1951-
Published: (1991)
by: Halang, Wolfgang A., 1951-
Published: (1991)
Real-time systems design and analysis /
by: Laplante, Phillip A.
Published: (2004)
by: Laplante, Phillip A.
Published: (2004)
Real-time systems design and analysis : an engineer's handbook /
by: Laplante, Phillip A.
Published: (1993)
by: Laplante, Phillip A.
Published: (1993)
Introduction to the formal design of real-time systems /
by: Gray, David, 1946-
Published: (1999)
by: Gray, David, 1946-
Published: (1999)
A practical approach to real-time systems : selected readings /
Published: (2000)
Published: (2000)
Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)
by: Hooman, J. (Jozef), 1955-
Published: (1991)
Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)
by: Hooman, J. (Jozef), 1955-
Published: (1991)
Structured development for real-time systems /
by: Ward, Paul T.
Published: (1985)
by: Ward, Paul T.
Published: (1985)
Real-time systems /
by: Krishna, C. M. (C. Mani)
Published: (1997)
by: Krishna, C. M. (C. Mani)
Published: (1997)
Real-time systems : formal specification and automatic verification /
by: Olderog, E.-R
Published: (2008)
by: Olderog, E.-R
Published: (2008)
Temporal logic for real-time systems /
by: Ostroff, Jonathan S., 1954-
Published: (1989)
by: Ostroff, Jonathan S., 1954-
Published: (1989)
Advances in real-time systems /
Published: (1995)
Published: (1995)
Designing large real-time systems with Ada /
by: Nielsen, Kjell
Published: (1988)
by: Nielsen, Kjell
Published: (1988)
Real-time systems : scheduling, analysis, and verification /
by: Cheng, Albert M. K.
Published: (2002)
by: Cheng, Albert M. K.
Published: (2002)
Real-time systems /
by: Liu, Jane W. S.
Published: (2000)
by: Liu, Jane W. S.
Published: (2000)
Codesign for real-time video applications /
by: Wilberg, Jörg
Published: (1997)
by: Wilberg, Jörg
Published: (1997)
Real-time systems.
Published: (1989)
Published: (1989)
Real-time systems : modeling, design, and applications /
Published: (2007)
Published: (2007)
Real-time systems : scheduling, analysis, and verification /
by: Cheng, Albert M. K.
Published: (2002)
by: Cheng, Albert M. K.
Published: (2002)
Real-time systems : modeling, design, and applications /
Published: (2007)
Published: (2007)
Real-time systems : investigating industrial practice /
Published: (1993)
Published: (1993)
Real-time computer systems /
by: Freedman, A. L.
Published: (1977)
by: Freedman, A. L.
Published: (1977)
Advances in real-time systems /
Published: (1993)
Published: (1993)
Real-time systems scheduling.
Published: (2014)
Published: (2014)
Timing analysis of real-time software : a practical approach to the specification and design of real-time ... /
by: Motus, L.
Published: (1994)
by: Motus, L.
Published: (1994)
A Practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systems /
Published: (1993)
Published: (1993)
Specification and proof in real-time CSP /
by: Davies, Jim, 1964-
Published: (1993)
by: Davies, Jim, 1964-
Published: (1993)
Real-time systems : design principles for distributed embedded applications /
by: Kopetz, Hermann
Published: (1997)
by: Kopetz, Hermann
Published: (1997)
Real-time systems : design principles for distributed embedded applications /
by: Kopetz, Hermann, et al.
Published: (2022)
by: Kopetz, Hermann, et al.
Published: (2022)
Foundations of real-time computing : formal specifications and methods /
Published: (1991)
Published: (1991)
Real-time management of resource allocation systems : a discrete event systems approach /
by: Reveliotis, Spyros A.
Published: (2005)
by: Reveliotis, Spyros A.
Published: (2005)
Real-time management of resource allocation systems : a discrete event systems approach /
by: Reveliotis, Spyros A.
Published: (2005)
by: Reveliotis, Spyros A.
Published: (2005)
Guide to the design of real-time systems /
by: Rothstein, Michael F.
Published: (1970)
by: Rothstein, Michael F.
Published: (1970)
Design of real-time computer systems /
by: Martin, James, 1933-2013
Published: (1967)
by: Martin, James, 1933-2013
Published: (1967)
Synchronization in real-time systems : a priority inheritance approach /
by: Rajkumar, Ragunathan
Published: (1991)
by: Rajkumar, Ragunathan
Published: (1991)
Handbook of real-time and embedded systems /
Published: (2008)
Published: (2008)
Embedded real-time systems /
by: Calvez, Jean Paul
Published: (1993)
by: Calvez, Jean Paul
Published: (1993)
Real-time data processing systems ; introductory concepts /
by: Desmonde, William Herbert, 1921-
Published: (1964)
by: Desmonde, William Herbert, 1921-
Published: (1964)
Handbook of real-time and embedded systems /
Published: (2008)
Published: (2008)