↓ Skip to main content

Formal Methods for Industrial Critical Systems

Overview of attention for book
Cover of 'Formal Methods for Industrial Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds
  3. Altmetric Badge
    Chapter 2 Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
  4. Altmetric Badge
    Chapter 3 Automated Functional Safety Analysis of Automated Driving Systems
  5. Altmetric Badge
    Chapter 4 Safety Interlocking as a Distributed Mutual Exclusion Problem
  6. Altmetric Badge
    Chapter 5 Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL
  7. Altmetric Badge
    Chapter 6 Formal Verification of a Programmable Hypersurface
  8. Altmetric Badge
    Chapter 7 Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset
  9. Altmetric Badge
    Chapter 8 Progress Checking for Dummies
  10. Altmetric Badge
    Chapter 9 Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker
  11. Altmetric Badge
    Chapter 10 Active Mining of Document Type Definitions
  12. Altmetric Badge
    Chapter 11 Adaptive Learning for Learn-Based Regression Testing
  13. Altmetric Badge
    Chapter 12 Predicate Abstraction and Such...
  14. Altmetric Badge
    Chapter 13 Compositional Verification in Action
  15. Altmetric Badge
    Chapter 14 A Note on Refinement in Hierarchical Transition Systems
  16. Altmetric Badge
    Chapter 15 M 3 C : Modal Meta Model Checking
  17. Altmetric Badge
    Chapter 16 Wholly! : A Build System For The Modern Software Stack
  18. Altmetric Badge
    Chapter 17 A Modeling Language for Security Threats of IoT Systems
  19. Altmetric Badge
    Chapter 18 Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP
  20. Altmetric Badge
    Chapter 19 Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

3 tweeters

Readers on

28 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.
Formal Methods for Industrial Critical Systems
Published by
Springer International Publishing, November 2018
DOI 10.1007/978-3-030-00244-2
978-3-03-000243-5, 978-3-03-000244-2

Howar, Falk, Barnat, Jiří

Twitter Demographics

The data shown below were collected from the profiles of 3 tweeters 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 28 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 28 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 10 36%
Student > Ph. D. Student 5 18%
Researcher 4 14%
Student > Doctoral Student 2 7%
Student > Bachelor 2 7%
Other 4 14%
Unknown 1 4%
Readers by discipline Count As %
Engineering 11 39%
Computer Science 7 25%
Energy 1 4%
Environmental Science 1 4%
Social Sciences 1 4%
Other 2 7%
Unknown 5 18%