| |
IEEE Transactions on Dependable and Secure Computing In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
|
| |
|
| |
|
| |
New J. Phys., Vol. 9, No. 6. (June 2007), 199.
|
| |
In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2003), pp. 221-239.
|
| |
Computerized Medical Imaging and Graphics, Vol. 29, No. 2-3. (April 2005), pp. 95-102.
|
| |
In ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (2007), pp. 141-145.
|
| |
Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 241-260.
|
| |
Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 168-188.
|
| |
Mol Syst Biol, Vol. 4 (12 February 2008)
|
| |
ACM Trans. Comput. Syst., Vol. 12, No. 1. (February 1994), pp. 33-57.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 21, No. 5. (November 1987), pp. 107-108.
|
| |
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (1999), pp. 64-71.
|
| |
Computers and Communications, 2000. Proceedings. ISCC 2000. Fifth IEEE Symposium on (2000), pp. 647-652.
|
| |
In Euro-Par '99: Proceedings of the 5th International Euro-Par Conference on Parallel Processing (1999), pp. 519-522.
|