12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on. :321-329 Jul, 2007
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :416-424 Nov, 2006