Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Brinksma, Ed (Editor, http://id.loc.gov/vocabulary/relators/edt), Hermanns, Holger (Editor, http://id.loc.gov/vocabulary/relators/edt), Katoen, Joost-Pieter (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 2090
• Subjects: Software engineering.; Computer engineering.; Computer logic.; Computer system failures.; Computer communication systems.; Software Engineering/Programming and Operating Systems.; Computer Engineering.; Logics and Meanings of Programs.; Software Engineering.; System Performance and Evaluation.; Computer Communication Networks.

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and...