S. Al-Omari, and W. Shi. Proceedings of the 1st ACM SIGMOBILE International Workshop on Systems and Networking Support for Healthcare and Assisted Living Environments, page 31--36. New York, NY, USA, ACM, (2007)
M. Bajohr, T. Margaria, and B. Steffen. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, page 317-324. (November 2006)
F. Basile, P. Chiacchio, V. Vittorini, and N. Mazzocca. Software Engineering for Parallel and Distributed Systems, 1999. Proceedings. International Symposium on, page 110-123. (1999)
F. Bause, P. Buchholz, M. Fischer, and P. Kemper. Proceedings of the Eighteenth Workshop on Parallel and Distributed Simulation, page 131--138. New York, NY, USA, ACM, (2004)
J. Bernabe-Gisbert, and F. Munoz-Escoi. Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, page 369-375. (March 2008)
H. Boudali, H. Sozer, and M. Stoelinga. Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on, page 14-22. (July 2009)
D. Caban, and W. Zamojski. Emerging Security Information, Systems and Technologies, 2008. SECURWARE '08. Second International Conference on, page 350-355. (August 2008)
R. Campos, and E. Silva. Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, page 269--. Washington, DC, USA, IEEE Computer Society, (1995)
H. Cankaya, and V. Nair. Proceedings of the ACM SIGCOMM '98 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, page 268--277. New York, NY, USA, ACM, (1998)
I. Chen, D. Wang, and C. Chu. Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology, page 103--. Washington, DC, USA, IEEE Computer Society, (1999)
I. Chen, D. Wang, and C. Chu. Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99. Proceedings. 1999 IEEE Symposium on, page 103-110. (1999)