Real time systems formal specification and automatic verification
Saved in:
| Main Author: | Olderog ,E.R |
|---|---|
| Other Authors: | Dierks ,Henning |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, UK, New York
Cambridge University Press
2008.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Real-time systems
by: Krishna
Published: (1997)
by: Krishna
Published: (1997)
Real-time systems
by: Liu
Published: (2000)
by: Liu
Published: (2000)
Real-time system design
by: Levi
Published: (1990)
by: Levi
Published: (1990)
An introduction to real time systems
by: BuhrlhR.J.A
by: BuhrlhR.J.A
Handbook of real-time and embedded systems
Published: (2008)
Published: (2008)
Real -time systems design and analysis
by: Laplante
Published: (2004)
by: Laplante
Published: (2004)
Real-time systems design and analysis an engineer's handbook
by: Laplante, Phillip A
Published: (1997)
by: Laplante, Phillip A
Published: (1997)
Distributed real-time systems monitoring, visualization, debugging, and analysis
Published: (1996)
Published: (1996)
Real time preparing
by: McKenna
Published: (1999)
by: McKenna
Published: (1999)
Real-time simulation technologies principles, methodologies, and applications
Published: (2013)
Published: (2013)
A real-time approach to process control
by: Svrcek
Published: (2000)
by: Svrcek
Published: (2000)
Real-time imaging theory, techniques, and applications
Published: (1996)
Published: (1996)
Real-time signal processing Design and implementation of signal processing systems
by: AckenhusenlhJohn G.
by: AckenhusenlhJohn G.
Realtime systems
by: Nissanke
Published: (1997)
by: Nissanke
Published: (1997)
Real-time software systems an introduction to structured and object-oriented design
by: Cooling
Published: (1997)
by: Cooling
Published: (1997)
Object-oriented technology for real-time systems a practical approach using omt and fusion
by: Awad, Maher
Published: (1996)
by: Awad, Maher
Published: (1996)
The power of now winning companies sense and response To Change Using Real- Time Technology
by: Ranadive
by: Ranadive
The power of now how winning companies sense and respond to change using real-time technology
by: RanadivelhVivek
by: RanadivelhVivek
Embedded realtime systems programming
by: Iyer
Published: (2004)
by: Iyer
Published: (2004)
Software specification and design a disciplined approach for real-time systems
by: Shumate
Published: (1992)
by: Shumate
Published: (1992)
Linux for embedded and real-time applications
by: Abbott, Doug
Published: (2013)
by: Abbott, Doug
Published: (2013)
Linux for embedded and real-time applications
by: Abbott, Doug
Published: (2013)
by: Abbott, Doug
Published: (2013)
Concurrent, real-time and distributed programming in Java threads, RTSJ and RMI
by: Benmammar, Badr
Published: (2018)
by: Benmammar, Badr
Published: (2018)
Real estate issues in Malaysia
by: Zarina Shamsudin
Published: (2015)
by: Zarina Shamsudin
Published: (2015)
Information and technology applications in commercial property
Published: (1992)
Published: (1992)
Digital audio with java
by: Lindley, Craig A.
Published: (1999)
by: Lindley, Craig A.
Published: (1999)
Digital audio with java
by: LindleylhCraig A
by: LindleylhCraig A
Real Estate Investment Trusts
by: Ong, S. E. (Seow Eng)
Published: (2010)
by: Ong, S. E. (Seow Eng)
Published: (2010)
The arnold encyclopedia of real estate
by: ArnoldlhAlvin L.
by: ArnoldlhAlvin L.
Real estate law
by: Diamond lhMichael R.
by: Diamond lhMichael R.
Real analysis modern techniques and their applications
by: Folland
Published: (1999)
by: Folland
Published: (1999)
An introduction to real analysis
by: Bhat, V.K
Published: (2012)
by: Bhat, V.K
Published: (2012)
Introduction to real analysis
by: Bartle
Published: (2000)
by: Bartle
Published: (2000)
VisualAge and transaction processing in a client/server environment
Published: (1996)
Published: (1996)
Displaying time series, spatial, and space-time data with R
by: Perpiñán Lamigueiro, Óscar
Published: (2014)
by: Perpiñán Lamigueiro, Óscar
Published: (2014)
Information systems auditing and assurance
by: Hall
Published: (2000)
by: Hall
Published: (2000)
Similar Items
-
Real-time systems
by: Krishna
Published: (1997) -
Real-time systems
by: Liu
Published: (2000) -
Real-time system design
by: Levi
Published: (1990) -
An introduction to real time systems
by: BuhrlhR.J.A -
Handbook of real-time and embedded systems
Published: (2008)


