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

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

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

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

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

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

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

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

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...

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

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