Lectures on Formal Methods and Performance Analysis
Subtitle: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, ... Lectures (Lecture Notes in Computer Science)
Contributors: Ed Brinksma (Editor); Holger Hermanns (Editor); Joost-Pieter Katoen (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2001
Language: eng
Format: Paperback
Number of pages: 431
ISBN-13: 9783540424796
Subjects: Software Engineering; Systems management; Logic Design; Congresses; Programming - Software Development; Formal Language Theory; Computers; Computers - General Information; General; Computer Books: General; Formal methods (Computer science); Machine Theory; Computers / Logic Design; Computer Science; Formal methods (Computer scien
First sentence: Performance Evaluation (PE) means to investigate and optimize the dynamic time-varying behavior within and between the individual components of transportation and processing systems.