Dependable Software Engineering: Theories, Tools, and Applications

This book constitutes the refereed proceedings ...

Theoretical Aspects of Computing - ICTAC 2004

Domain Modeling and the Duration Calculus

This book presents thoroughly revised tutorial ...

Engineering Trustworthy Software Systems

This volume contains a record of some of the le...

Formal Aspects of Component Software

This book constitutes the revised selected pape...

Web-Age Information Management

This book constitutes the refereed proceedings ...

Foundations of Health Informatics Engineering and Systems

This book constitutes the thoroughly refereed p...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings ...

Engineering Trustworthy Software Systems

This volume contains lectures on leading-edge r...

Formal Methods and Hybrid Real-Time Systems

This Festschrift volume is published to honour ...

Engineering Trustworthy Software Systems

The six contributions included in this volume p...

Engineering Trustworthy Software Systems

The coursesof SETSS 2014 aim to improve the und...