An operational semantics for Stateflow

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, July 2007

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#17 of 111)

Mentioned by

patent: 4 patents

Citations

dimensions_citation: 50 Dimensions

Readers on

mendeley: 48 Mendeley
citeulike: 1 CiteULike
connotea: 1 Connotea

Summary Patents Dimensions citations

So far, Altmetric has seen 4 patents that reference this research output.

Method for automated error detection and verification of software

Grant US-9098619-B2

United States of America

Error propagation in a system model

Grant US-8984343-B2

United States of America

Type and range propagation through data-flow models

Grant US-8984488-B2

United States of America

Method and apparatus for test generation from hybrid diagrams with combined data flow and…

Grant US-8423879-B2

United States of America