↓ Skip to main content
What is this page? Embed badge

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods

Overview of attention for article published in Formal Methods in System Design, September 2001
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (83rd percentile)

Mentioned by

twitter
9 X users

Citations

dimensions_citation
24 Dimensions

Readers on

mendeley
36 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.