Formal methods for real-time computing

Formal methods for real-time computing

Saved in:

Bibliographic Details
Other Authors:	Heitmeyer, Constance, Mandrioli, Dino
Format:	Book
Published:	Chichester John Wiley 1996
Subjects:	Real-time data processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

Advances in real-time systems
Published: (1995)

Advances in real-time systems
Published: (1993)

Real-time personal computing for data acquisition and control
by: Joseph, Babu 1950-
Published: (1989)

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

Developing real-time systems a practical introduction
by: Evesham, David
Published: (1990)

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)

Advances in real-time systems
Published: (2011)

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

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

Programming real-time computer systems
by: Martin, James 1933-
Published: (1965)

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

Real-time structured methods systems analysis
by: Edwards, Keith 1956-
Published: (1993)

Real-time systems engineering and applications
Published: (1992)

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

Real-time software techniques
by: Heath, Walter S. 1940-
Published: (1991)

Proceedings, Real-Time Systems Symposium Raleigh-Durham, North Carolina, December 1-3, 1003
Published: (1993)

REAL-TIME SYSTEMS Implementation of Industrial Computerised Process Automation
by: Halang, Wolfgang A. 1951
Published: (1992)

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

Real-time multicomputer software systems
by: Stein, Richard Marlon 1961-
Published: (1992)

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

Real-time systems design and analysis tools for the practitioner
by: Laplante, Phillip A.
Published: (2012)

Neural and concurrent real-time systems the sixth generation
by: Soucek, Branko
Published: (1989)

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

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

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

Design and analysis of distributed real-time systems
by: Fortier, Paul J
Published: (1985)

Imprecise and approximate computation
Published: (1995)

Software design for real-time systems
by: Cooling, J. E
Published: (1991)

Software design for real-time systems
by: Cooling, J. E
Published: (1990)