Proceedings International Conference on Dependable Systems and Networks
Like what you’re reading?
Already a member?
Related Articles
- Symbolic system level reliability analysis
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2010) - Proceedings of Computer Animation 2002 (CA 2002)
Computer Animation - Performance evaluating the evaluator
Proceedings. 2nd Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance (VS-PETS) - ROBUST Path Strategy Evaluator
2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - Symbolic Representation Techniques in Dynamic Reliability Evaluation
2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Reliability analysis in Symbolic PathFinder
2013 35th International Conference on Software Engineering (ICSE) - Fex: A Software Systems Evaluator
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - CAREL: Computer Aided Reliability Evaluator for Distributed Computing Networks
IEEE Transactions on Parallel & Distributed Systems - 2002 Index
IEEE Transactions on Visualization & Computer Graphics - 2002 Reviewers
IEEE Pervasive Computing