Prof. Alexander Romanovsky works in the School of Computing Science, Newcastle University; he has been working on system dependability and fault tolerance for many years, in particular on reasoning about faults and fault tolerance during early phases of system development, and he coordinated the related RODIN and DEPLOY projects.
Dr. Martyn Thomas in an industrialist who has been concerned with safety-critical and other high-dependence computer systems since the 1980s.
4 كتب إلكترونية بواسطة Martyn Thomas
Alexander Romanovsky & Martyn Thomas: Industrial Deployment of System Engineering Methods
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 …
PDF
الإنجليزية
€53.49
Committee on Certifiably Dependable Software Systems & Computer Science and Telecommunications Board: Software for Dependable Systems
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of …
EPUB
الإنجليزية
DRM
€47.35
Committee on Certifiably Dependable Software Systems & Computer Science and Telecommunications Board: Software for Dependable Systems
The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of …
PDF
الإنجليزية
DRM
€35.19
Martyn Thomas: World in their Hands
Shortlisted for the Sunday Times Rugby Book of the Year 2023 World in their Hands recounts the remarkable events that led to a group of friends from south-west London staging the inaugural Women’s Ru …
EPUB
الإنجليزية
€11.99
