Leveraging Applications of Formal Methods, Verification and Validation
Margaria, Tiziana.
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / [electronic resource] : edited by Tiziana Margaria, Bernhard Steffen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - Communications in Computer and Information Science, 17 1865-0929 ; . - Communications in Computer and Information Science, 17 .
9783540884798
10.1007/978-3-540-88479-8 doi
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.
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / [electronic resource] : edited by Tiziana Margaria, Bernhard Steffen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - Communications in Computer and Information Science, 17 1865-0929 ; . - Communications in Computer and Information Science, 17 .
9783540884798
10.1007/978-3-540-88479-8 doi
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.