ed brinksma
Lectures on Formal Methods and Performance Analysis
EbookSofort lieferbarTraditionally, models and methods for the analysis of the functional correctness of reactive syst...
Computer Aided Verification
EbookSofort lieferbarThis volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchBezug 11-15This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the Third International Workshop on Tools and A...
Lectures on Formal Methods and Performance Analysis
TaschenbuchBezug 11-15Traditionally, models and methods for the analysis of the functional correctness of reactive syst...
Computer Aided Verification
TaschenbuchBezug 11-15This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...
- 1