This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference o...

This book constitutes the refereed proceedings of the 6th International Conference on Tools and M...

This book constitutes the refereed proceedings of the 14th International Conference on the Qualit...

This book provides an overview of software security analysis in a DevOps cycle including requirem...

IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Instit...

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference o...

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable...

This book constitutes the thoroughly refereed joint post proceedings of two international worksho...

Formal Description Techniques and Protocol Specification,Testing and Verification addresses for...

This book constitutes the refereed proceedings of the 14th International Conference on the Qualit...

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conferenc...

Formal Description Techniques and Protocol Specification,Testing and Verification ...