Building high integrity applications with SPARK /

類似資料

• Reliability and fault-tolerance issues in real-time systems
  著者:: Viswanadham, N; Ed
  出版事項: (1987)
• Fault-tolerance and reliability techniques for high-density random-access memories
  著者:: Chakraborty, Kanad
  出版事項: (2002)
• Harware and software architectures for fault tolerence: experience and perspectives
  著者:: Banatre, Michel
  出版事項: (1994)
• Muriel Spark /
  著者:: Page, Norman
  出版事項: (1990)
• The Edinburgh companion to Muriel Spark
  著者:: Michael Gardiner (ed.)
  出版事項: (2010)