↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
HYTECH: a model checker for hybrid systems
Overview of attention for article published in International Journal on Software Tools for Technology Transfer, February 2014
Altmetric Badge
About this Attention Score
Among the highest-scoring outputs from this source (#19 of 122)
Above-average Attention Score compared to outputs of the same age (52nd percentile)
Mentioned by
patent
2
patents
Citations
dimensions_citation
534
Dimensions
Readers on
mendeley
47
Mendeley
Summary
Patents
Dimensions citations
So far, Altmetric has seen
2
patents that reference this research output.
Timing analysis using formal methods
Grant US-8484009-B2
United States of America
09 Jul 2013
Verification of linear hybrid automaton
Grant US-8275729-B2
United States of America
25 Sep 2012