Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings - Margaria, Tiziana; Steffen, Bernhard; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer system performance; Software engineering; Computer simulation; Computer Science; Software Engineering; Programming Techniques; Software Engineering/Programming and Operating Systems; Models and Principles; Simulation and Modeling; System Performance and Evaluation