Formal techniques in real-time and fault tolerant systems /

Antzeko izenburuak

• Real- time systems
  nork: Liu, Jane W.S
  Argitaratua: (2003)
• Real Time Systems, Management and Design
  nork: Tebbs, David
  Argitaratua: (1977)
• Real-Time systems: Theory and Practice
  nork: Mall, Rajib
  Argitaratua: (2013)
• Reliability and fault-tolerance issues in real-time systems
  nork: Viswanadham, N; Ed
  Argitaratua: (1987)
• Real-time systems /
  nork: Liu, Jane W S.
  Argitaratua: (2001)