↓ Skip to main content

Formal Methods for Industrial Critical Systems

Overview of attention for book
Attention for Chapter 8: Require, Test and Trace IT
Altmetric Badge

Mentioned by

twitter
1 tweeter

Readers on

mendeley
4 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
Require, Test and Trace IT
Chapter number 8
Book title
Formal Methods for Industrial Critical Systems
Published by
Springer International Publishing, June 2015
DOI 10.1007/978-3-319-19458-5_8
Book ISBNs
978-3-31-919457-8, 978-3-31-919458-5
Authors

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Stefan Tiran

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Researcher 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Computer Science 4 100%