| |
|
| |
|
| |
ACM Comput. Surv., Vol. 27, No. 2. (1995), pp. 262-264.
|
| |
|
| |
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on (04 September 2009), pp. 47-54.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 16, No. 2. (06 August 2002), pp. 166-182.
|
| |
Dependable Computing for Critical Applications 7, 1999 (06 August 2002), pp. 25-44.
|
| |
Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on (06 August 2002), pp. 22-29.
|
| |
In IWPSE '01: Proceedings of the 4th International Workshop on Principles of Software Evolution (2001), pp. 83-86.
|
| |
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on In Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 52-61.
|
| |
Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 53, No. 5. (May 2004), pp. 497-511.
|
| |
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on (2002), pp. 207-214.
|
| |
|
| |
Fault-Tolerant Parallel and Distributed Systems, 1994., Proceedings of IEEE Workshop on In Fault-Tolerant Parallel and Distributed Systems, 1994., Proceedings of IEEE Workshop on (1994), pp. 226-233.
|
| |
Genetic Algorithms in Engineering Systems: Innovations and Applications, 1995. GALESIA. First International Conference on (Conf. Publ. No. 414) In Genetic Algorithms in Engineering Systems: Innovations and Applications, 1995. GALESIA. First International Conference on (Conf. Publ. No. 414) (1995), pp. 524-529.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 365-381.
|
| |
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 29, No. 7. (2003), pp. 594-607.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 3. (2001), pp. 228-247.
|
| |
Commun. ACM, Vol. 37, No. 9. (1994), pp. 30-38.
|
| |
Software, IEEE In Software, IEEE, Vol. 15, No. 5. (1998), pp. 54-59.
|
| |
Software Testing, Verification and Reliability, Vol. 6, No. 3-4. (1996), pp. 125-252.
|
| |
Software, IEEE In Software, IEEE, Vol. 23, No. 4. (July 2006), pp. 38-47.
|
| |
Computer In Computer, Vol. 17, No. 8. (1984), pp. 67-80.
|
| |
J. ACM, Vol. 27, No. 2. (1980), pp. 228-234.
|
| |
|
| |
ACM Trans. Comput. Syst., Vol. 21, No. 3. (2003), pp. 236-269.
|
| |
|
| |
ACM Comput. Surv., Vol. 34, No. 3. (September 2002), pp. 375-408.
|
| |
IEEE Transactions on Dependable and Secure Computing In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 28, No. 2. (March 2006), pp. 331-388.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 14-25.
|
| |
SIGPLAN Not., Vol. 31, No. 10. (1996), pp. 214-231.
|
| |
In SELMAS '06: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems (2006), pp. 37-44.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 2. (1985), pp. 214-243.
|
| |
SIGPLAN Not., Vol. 38, No. 11. (2003), pp. 403-417.
|
| |
|
| |
|
| |
Control Engineering Practice, Vol. 5, No. 5. (May 1997), pp. 693-702.
|
| |
|
| |
Computer In Computer, Vol. 20, No. 2. (1987), pp. 84-90.
|
| |
Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium In Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium (1991), pp. 462-498.
|
| |
ECOOP 2002 — Object-Oriented Programming (2002), pp. 29-53.
|
| |
Technology of Object-Oriented Languages and Systems, 2001. TOOLS 38. Proceedings In Technology of Object-Oriented Languages and Systems, 2001. TOOLS 38. Proceedings (2001), pp. 19-31.
|
| |
|
| |
Computer In Computer, Vol. 23, No. 7. (1990), pp. 19-25.
|