↓ Skip to main content

Lectures on Runtime Verification

Overview of attention for book
Attention for Chapter 5: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Altmetric Badge

Citations

dimensions_citation
123 Dimensions

Readers on

mendeley
114 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Chapter number 5
Book title
Lectures on Runtime Verification
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-75632-5_5
Book ISBNs
978-3-31-975631-8, 978-3-31-975632-5
Authors

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 114 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 114 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 29 25%
Student > Master 22 19%
Researcher 13 11%
Student > Bachelor 7 6%
Professor 6 5%
Other 12 11%
Unknown 25 22%
Readers by discipline Count As %
Computer Science 45 39%
Engineering 32 28%
Medicine and Dentistry 2 2%
Social Sciences 1 <1%
Business, Management and Accounting 1 <1%
Other 2 2%
Unknown 31 27%