Wow! eBook
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... 2010th Edition
Author(s): Alessandro Aldini (Editor), Marco Bernardo (Editor), Alessandra Di Pierro (Editor), Herbert Wiklicky (Editor)
- Publisher: Springer
- Publication Date: June 11, 2010
- Edition: 2010th
- Language: English
- Print length: 176 pages
- ISBN-10: 364213677X
- ISBN-13: 9783642136771
Book Description
security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.
