This book constitutes the thoroughly refereed post-conference proceedings of the Second Internati...

This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

Explaining how to improve safety-critical systems to reduce risks to people and the environment, ...

Providing the know-how to manage software projects effectively, this book supplies an accessible ...