This Book Presents A Set Of 11 Papers Accompanying The Lectures Of Leading Researchers Given At The 7th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2007, Held In Bertinoro, Italy In May/june 2007. Sfm 2007 Was Devoted To F
[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || Introduction to Generalized Stochastic Petri Nets
β Scribed by Bernardo, Marco; Hillston, Jane
- Book ID
- 120483070
- Publisher
- Springer Berlin Heidelberg
- Year
- 2007
- Tongue
- German
- Weight
- 911 KB
- Category
- Article
- ISBN
- 3540725229
No coin nor oath required. For personal study only.
β¦ Synopsis
This Book Presents A Set Of 11 Papers Accompanying The Lectures Of Leading Researchers Given At The 7th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2007, Held In Bertinoro, Italy In May/june 2007. Sfm 2007 Was Devoted To Formal Techniques For Performance Evaluation And Covered Several Aspects Of The Field.
π SIMILAR VOLUMES
This Book Presents A Set Of 11 Papers Accompanying The Lectures Of Leading Researchers Given At The 7th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2007, Held In Bertinoro, Italy In May/june 2007. Sfm 2007 Was Devoted To F
This Monograph-like State-of-the-art Survey Presents The History, The Key Ideas, The Success Stories, And Future Challenges Of Performance Evaluation And Demonstrates The Impact Of Performance Evaluation On A Variety Of Different Areas Through Case Studies In A Coherent And Comprehensive Way. Leadin