Availability of CAUTRA, a Subset of the French Air Traffic Control System
IEEE Transactions on Computers
IEEE Transactions on Computers
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Modeling the dependability of CAUTRA, a subset of the French air traffic control system
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Fixed point iteration using stochastic reward nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Availability analysis of blade server systems
IBM Systems Journal
Call admission control for reducing dropped calls in CDMA cellular systems
Computer Communications
| Hi-index | 0.01 |