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 / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional fea...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands
Other Authors:	Brinksma, Ed, Hermanns, Holger, 1967-, Katoen, Joost-Pieter
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2001.
Series:	Lecture notes in computer science ; 2090.
Subjects:	Formal methods (Computer science) > Congresses. Formal methods (Computer science) Conference papers and proceedings.