Name: lectures on formal methods and performance analysis
Price: 1864.00 TWD
Availability: InStock
ISBN: 9783540424796

Select your country

Americas

Europe

Rest of the world

portada lectures on formal methods and performance analysis

lectures on formal methods and performance analysis

Type

Physical Book

Publisher

Springer

Language

English

Pages

431

ISBN

3540424792

ISBN13

9783540424796

Synopsis "lectures on formal methods and performance analysis"

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 features and their performance properties has become blurred.during the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis.the 11 chapters in this book present the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews