A Study of Short Transaction, Hard Real Time Dual Systems

• 短事务、强实时双机容错系统的研究