Login / Signup

Behavioral analysis of a fault-tolerant software system with rejuvenation.

Koichiro RinsakaTadashi Dohi
Published in: ISADS (2005)
Keyphrases
  • fault tolerant
  • fault tolerance
  • distributed systems
  • safety critical
  • static analysis
  • artificial intelligence
  • database systems
  • expert systems
  • query processing
  • software development
  • analysis tool
  • state machine