Formal Methods for Performance Evaluation

7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

  • Editors
  • Marco Bernardo
  • Jane Hillston
Textbook SFM 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4486)

Table of contents

  1. Front Matter
  2. William J. Stewart
    Pages 1-33
  3. Simonetta Balsamo, Andrea Marin
    Pages 34-82
  4. Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
    Pages 132-179
  5. Marco Bernardo
    Pages 180-219
  6. Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 220-270
  7. Marco Gribaudo, Miklós Telek
    Pages 271-317
  8. William J. Knottenbelt, Jeremy T. Bradley
    Pages 318-370
  9. Back Matter

About this book


Computer Unified Modeling Language (UML) automata calculus communication systems design formal method formal methods formal specification graph partitioning load balancing model checking modeling performance analysis performance modeling petri net

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-72482-7
  • Online ISBN 978-3-540-72522-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods