Real time programming : languages, specification and verification /

Real-time programming, WRTP'92 : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992 /
Published: (1992)

Real-time systems development /
by: Williams, Rob, 1948-
Published: (2006)

Real time programming : neglected topics /
by: Foster, Caxton C., 1929-
Published: (1981)

Real-time systems development /
by: Williams, Rob, 1948-
Published: (2006)

Real-time systems development /
by: Williams, Rob, 1948-
Published: (2006)

Real-time programming with microcomputers /
by: Turner, Ronald C.
Published: (1978)

Math toolkit for real-time programming /
by: Crenshaw, Jack W.
Published: (2000)

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

Real time programming 1998 : (WRTP'98) : a proceedings volume from the 23rd IFAC/IFIP workshop, Shantou, Guangdong Province, P.R. China, 23-25 June 1998 /
Published: (1998)

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

Real-time programming 2000 (WRTP'2000) : a proceedings volume from the 25th IFAC Workshop, Palma, Spain, 17-19 May 2000 /
Published: (2000)

Real-Time Programming 2003 (WRTP 2003) : a proceedings volume from the 26th IFAC/IFIP/IEEE Workshop, Łagów, Poland, 14-17 May 2003 /
Published: (2003)

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

Real time programming 1999 (WRTP'99) : a proceedings volume from the 24th IFAC/IFIP Workshop, Schloss Dagstuhl, Wadern, Saarland, Germany : 30 May-3 June 1999 /
Published: (1999)

Real-time software /
Published: (1983)

Second International Conference on Software engineering for Real Time Systems : 18-20 September 1989 /
Published: (1989)

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

Concurrent and real-time programming in Ada 2005 /
by: Burns, Alan, 1953-
Published: (2007)

Resource management in real-time systems and networks /
by: Murthy, C. Siva Ram
Published: (2001)

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

Real-time software for small systems /
by: Leigh, A. W.
Published: (1988)

Real-time Java programming with Java RTS /
by: Bruno, Eric J., 1969-
Published: (2009)

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

International Workshop on Systems Engineering for Real Time Applications : 13-14 September 1993 /
Published: (1993)

Debugging embedded and real-time systems : the art, science, technology, and tools of real-time system debugging /
by: Berger, Arnold S.
Published: (2020)

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

Synchronous programming of reactive systems /
by: Halbwachs, Nicolas
Published: (1993)

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

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

Real time software design : a guide for microprocessor systems /
by: Heller, Philip
Published: (1987)

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

Linux for embedded and real-time appplications /
by: Abbott, Doug
Published: (2006)

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

Real-time embedded multithreading : using ThreadX and MIPS /
by: Lamie, Edward L.
Published: (2009)

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

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