You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
434 pages • paperback • 1 edition
ISBN/UID: 9783540424796
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 29 Aug 2001
Description
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 resulte...
Community Reviews
Content Warnings
434 pages • paperback
ISBN/UID: 9783540424796
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 29 Aug 2001
Description
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 resulte...
Community Reviews
Content Warnings