Formal Methods for Performance Evaluation
Subtitle: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)
Contributors: Marco Bernardo (Editor); Jane Hillston (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 28, 2007
Language: eng
Format: Paperback
Number of pages: 469
ISBN-13: 9783540724827
Subjects: General Theory of Computing; Computers; Computers - Languages / Programming; Computer Books: Languages; Networking - General; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Programming / Software Development; Markov chains; Petri-nets; automata; communication systems design; formal methods; formal specification; graph partitioning; hardware description; load balancing; model checking; performance analysis; Programming Languages - General