↓ Skip to main content

Formal Techniques for Safety-Critical Systems

Overview of attention for book
Cover of 'Formal Techniques for Safety-Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions
  3. Altmetric Badge
    Chapter 2 With an Open Mind: How to Write Good Models
  4. Altmetric Badge
    Chapter 3 Model-Based Testing from Controlled Natural Language Requirements
  5. Altmetric Badge
    Chapter 4 An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol
  6. Altmetric Badge
    Chapter 5 Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking
  7. Altmetric Badge
    Chapter 6 A Strand Space Approach to Provable Anonymity
  8. Altmetric Badge
    Chapter 7 Counterexample Generation for Hybrid Automata
  9. Altmetric Badge
    Chapter 8 TTM/PAT: Specifying and Verifying Timed Transition Models
  10. Altmetric Badge
    Chapter 9 Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS
  11. Altmetric Badge
    Chapter 10 Reflections on Verifying Software with Whiley
  12. Altmetric Badge
    Chapter 11 Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events
  13. Altmetric Badge
    Chapter 12 Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude
  14. Altmetric Badge
    Chapter 13 On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings
  15. Altmetric Badge
    Chapter 14 Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
  16. Altmetric Badge
    Chapter 15 Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
  17. Altmetric Badge
    Chapter 16 Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling
  18. Altmetric Badge
    Chapter 17 Precise Documentation and Validation of Requirements
  19. Altmetric Badge
    Chapter 18 Certainly Unsupervisable States
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

2 X users
1 Facebook page
1 Google+ user


1 Dimensions

Readers on

29 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 Techniques for Safety-Critical Systems
Published by
Springer International Publishing, April 2014
DOI 10.1007/978-3-319-05416-2
978-3-31-905415-5, 978-3-31-905416-2

Artho, Cyrille, Ölveczky, Peter Csaba

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 29 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 3%
Unknown 28 97%
Readers by discipline Count As %
Computer Science 1 3%
Unknown 28 97%