Smart cities are a new vision for urban development. They integrate information and communication...

From the Foreword"e;Getting CPS dependability right is essential to forming a solid foundatio...

Smart cities are a new vision for urban development. They integrate information and communication...

From the Foreword"e;Getting CPS dependability right is essential to forming a solid foundatio...

This book constitutes of the proceedings from the 28th International Conference on Engi...

Safety assurance of software systems has never been as imminent a problem as it is today. Practit...

Safety assurance of software systems has never been as imminent a problem as it is today. Practit...

This book constitutes the refereed proceedings of the 11th International Conference on Rigorou...

This book constitutes of the proceedings from the 28th International Conference on Engineering...

From the Foreword'Getting CPS dependability ...