| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
Industry & Innovation, Vol. 10, No. 2. (2003), pp. 179-196.
|
| |
Risks and Security of Internet and Systems, 2008. CRiSIS '08. Third International Conference on In Risks and Security of Internet and Systems, 2008. CRiSIS '08. Third International Conference on (2008), pp. 149-157.
|
| |
In DSN '06: Proceedings of the International Conference on Dependable Systems and Networks (DSN'06) (2006), pp. 249-258.
|
| |
Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 182-214.
|
| |
Formal Aspects of Computing
|
| |
Applied Economics, Vol. 19, No. 10. (1987), pp. 1291-1302.
|
| |
|
| |
International Journal of Project Management, Vol. 25, No. 3. (April 2007), pp. 266-274.
|
| |
In VLDB '07: Proceedings of the 33rd international conference on Very large data bases (2007), pp. 842-853.
|
| |
|
| |
|
| |
|
| |
IEE Review In IEE Review, Vol. 43, No. 2. (1997), pp. 49-52.
|
| |
Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on (2000), pp. 559-566.
|
| |
Computers, IEEE Transactions on, Vol. 42, No. 1. (1993), pp. 62-75.
|
| |
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on (1993), pp. 20-29.
|
| |
Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium (1991), pp. 10-17.
|
| |
Reliability, IEEE Transactions on, Vol. 39, No. 4. (1990), pp. 419-432.
|
| |
Computers, IEEE Transactions on, Vol. 41, No. 5. (1992), pp. 567-577.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 36, No. SI. (2002), pp. 75-88.
|
| |
IEEE Trans. Dependable Secur. Comput., Vol. 1, No. 1. (January 2004), pp. 87-96.
|
| |
In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, Vol. 39, No. 5. (December 2005), pp. 235-248.
|
| |
In MASCOTS '04: Proceedings of the The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04) (2004), pp. 409-418.
|
Search
