Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings

Advances in real-time systems
Vydáno: (2012)

Real-time: theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings
Vydáno: (1992)

Hard real-time systems
Autor: Stankovic, John A.
Vydáno: (1988)

Real time programming 1977 : proceedings of the IFAC/IFIP workshop, Eindhoven, Netherlands, 20-22 June 1977
Vydáno: (1978)

Linux for embedded and real-time applications
Autor: Abbott, Doug
Vydáno: (2003)

11th real-time systems symposium : Lake Buena Vista, Florida, December 5-7, 1990 : proceedings
Vydáno: (1990)

Metody i mikroprocessornyje sredstva obrabotki širokopolosnych i bystroprotekajuščich processov v real'nom vremeni
Autor: Petrovskij, Aleksandr Aleksandrovič
Vydáno: (1988)

Hybrid systems : computation and control : 4th international workshop, HSCC 2001, Rome, Italy, March 2001 : proceedings
Vydáno: (2001)

RealTimeFrame - A Real Time Processing Framework for Medical Video Sequences
Autor: Gross, Sebastian

Hybrid systems : computation and control : second international workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings
Vydáno: (1999)

Linux for embedded and real-time applications
Autor: Abbott, Doug, 1944-
Vydáno: (2013)

Linux for embedded and real-time applications
Autor: Abbott, Doug, 1944-
Vydáno: (2006)

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
Vydáno: (2005)

Hybrid systems
Vydáno: (1993)

Math toolkit for real-time programming
Autor: Crenshaw, Jack W.
Vydáno: (2000)

Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings
Vydáno: (1998)

Hybrid systems IV
Vydáno: (1997)

Hybrid systems II
Vydáno: (1995)

Hybrid systems V
Vydáno: (1999)

Hybrid systems III : verification and control
Vydáno: (1996)

Concurrent, real-time and distributed programming in Java : threads, RTSJ and RMI
Autor: Benmammar, Badr, 1977-
Vydáno: (2018)

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Vydáno: (1988)

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings
Vydáno: (1992)

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
Vydáno: (1996)

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Vydáno: (1998)

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings
Vydáno: (1998)

Formal techniques in real time and fault tolerant systems : 6th international symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings
Vydáno: (2000)

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the working group Provably Corret Systems - ProCoS Lübeck, Germany, September 19-23, 1994 : proceedings
Vydáno: (1994)

Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
Vydáno: (2002)

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
Vydáno: (2004)

Objectifying real-time systems
Autor: Ellis, John R.
Vydáno: (1994)

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Vydáno: (2006)

Hybrid systems : computation and control : 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings
Vydáno: (2002)

Práce v RTX s omezenými hardwarovými prostředky
Autor: Suchanová, Michaela

Hybrid systems : computation and control : third international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings
Vydáno: (2000)

POSIX.4 : programming for the real world
Autor: Gallmeister, Bill O.
Vydáno: (1995)