• Model-based validation of an i...

Treffer: Model-based validation of an intrusion-tolerant information system

Title:
Model-based validation of an intrusion-tolerant information system
Authors:
Stevens, F., Courtney, T., Sankalp Singh, Agbaria, A., Meyer, J.R., Sanders, W.H., Pal, P.
Source:
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. Reliable distributed systems Reliable Distributed Systems, 2004. Proceedings of the 23rd IEEE International Symposium on. :184-194 2004
Relation:
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems
Database:
IEEE Xplore Digital Library