A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the D
Perspectives on Barry Hannah is a collection of essays devoted to the work of the award-winning fiction writer Barry Hannah. The anthology features a broad range of critical approaches and covers the
Classes of socio-technical hazards allow a characterization of the risk in technology innovation and clarify the mechanisms underpinning emergent technological risk. Emerging Technological Risk provid