Model-Based Testing of Reactive Systems

Testing is the primary hardware and software ve...

CONCUR 2011 -- Concurrency Theory

This book constitutes the refereed proceedings ...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 5t...

ModelEd, TestEd, TrustEd

This Festschrift volume has been published in h...

Validation of Stochastic Systems

Lectures on Formal Methods and Performance Analysis

Traditionally, models and methods for the analy...

Tools and Algorithms for the Construction and Analysis of Systems

ETAPS 2002 was the ?fth instance of the Europea...

Formal Methods

This book constitutes the refereed proceedings ...

ModelEd, TestEd, TrustEd

This Festschrift volume has been published in h...

Model-Based Testing of Reactive Systems

Testing is the primary hardware and software ve...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 5t...

Lectures on Formal Methods and Performance Analysis

Traditionally, models and methods for the analy...