Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Making real-time reactive systems reliable
ACM SIGOPS Operating Systems Review
Analyzing refinements of state based specifications: the case of TB nets
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Making real-time reactive systems reliable
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Hi-index | 0.00 |