2 Ebooks by Ed Brinksma
Ed Brinksma & Holger Hermanns: 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 – pendability) aspects, have been studied by …
PDF
English
DRM
€57.37
Ed Brinksma & Kim G. Larsen: Computer Aided Verification
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences …
PDF
English
DRM
€114.52
