Engineering Trustworthy Software Systems

Overview of attention for book

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 (In-)Formal Methods: The Lost Art
Altmetric Badge

Chapter 2 Program Refinement, Perfect Secrecy and Information Flow
Altmetric Badge

Chapter 3 The Z Notation: Whence the Cause and Whither the Course?
Altmetric Badge

Chapter 4 Model-Driven Design of Object and Component Systems
Altmetric Badge

Chapter 5 Cyber-Physical Systems Engineering
Altmetric Badge

Chapter 6 Combining Formal and Informal Methods in the Design of Spacecrafts

Attention for Chapter 5: Cyber-Physical Systems Engineering

Altmetric Badge

Mentioned by

policy: 1 policy source

Citations

dimensions_citation: 3 Dimensions

Readers on

mendeley: 30 Mendeley

Summary Policy documents Dimensions citations

So far, Altmetric has seen 1 policy document that references this research output.

Future of the Sea: cybersecurity

Cited by UK Government (GOV.UK) on 30 Nov 2017

GOV.UK is a central website that covers all UK government departments, as well as many other agencies and public bodies. All policy papers and research publications by the UK government are listed on GOV.UK.

This page shows the most recent policy documents that mention this research output.

Click here to find out how to access more activity.