joost pieter katoen
CONCUR 2011 -- Concurrency Theory
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 22nd International Conference on Concurrenc...
Dependable Software Engineering. Theories, Tools, and Applications
EbookSofort lieferbarThis book constitutes the proceedings of the 5th International Symposium on Dependable Software E...
ModelEd, TestEd, TrustEd
EbookSofort lieferbarThis Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th b...
Model-Based Testing of Reactive Systems
EbookSofort lieferbarTesting is the primary hardware and software verification technique used by industry today. Usual...
Validation of Stochastic Systems
EbookSofort lieferbarThis tutorial volume presents a coherent and well-balanced introduction to the validation of stoc...
Lectures on Formal Methods and Performance Analysis
EbookSofort lieferbarTraditionally, models and methods for the analysis of the functional correctness of reactive syst...
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Soft...
Formal Methods
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...
ModelEd, TestEd, TrustEd
TaschenbuchBezug 11-15This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60t...
Model-Based Testing of Reactive Systems
TaschenbuchBezug 11-15Testing is the primary hardware and software verification technique used by industry today. Us...
Lectures on Formal Methods and Performance Analysis
TaschenbuchBezug 11-15Traditionally, models and methods for the analysis of the functional correctness of reactive syst...
Validation of Stochastic Systems
TaschenbuchBezug 11-15It is with great pleasure that we present to you this tutorial volume entitled Validation of Stoc...
- 1
- 2