↓ Skip to main content

Formal Techniques in Real-Time and Fault-Tolerant Systems

Overview of attention for book
Cover of 'Formal Techniques in Real-Time and Fault-Tolerant Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 157 Hybrid verification by exploiting the environment
  3. Altmetric Badge
    Chapter 158 Correctness of real time systems by construction
  4. Altmetric Badge
    Chapter 159 Specifying and verifying fault-tolerant systems
  5. Altmetric Badge
    Chapter 160 Development of hybrid systems
  6. Altmetric Badge
    Chapter 161 Linear duration invariants
  7. Altmetric Badge
    Chapter 162 Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs
  8. Altmetric Badge
    Chapter 163 A comparison of Statecharts variants
  9. Altmetric Badge
    Chapter 164 A calculus of stochastic systems
  10. Altmetric Badge
    Chapter 165 Verification of an audio control protocol
  11. Altmetric Badge
    Chapter 166 Verifying invariance properties of timed systems with duration variables
  12. Altmetric Badge
    Chapter 167 Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets
  13. Altmetric Badge
    Chapter 168 Designing and implementing correct real-time systems
  14. Altmetric Badge
    Chapter 169 Specification and refinement of finite dataflow networks — a relational approach
  15. Altmetric Badge
    Chapter 170 Activation-oriented specification of real-time systems
  16. Altmetric Badge
    Chapter 171 Provably Correct Systems
  17. Altmetric Badge
    Chapter 172 Simulation approach to provably correct hardware compilation
  18. Altmetric Badge
    Chapter 173 Verification methods for the divergent runs of clock systems
  19. Altmetric Badge
    Chapter 174 Fault-tolerant bisimulation and process transformations
  20. Altmetric Badge
    Chapter 175 Layering of real-time distributed processes
  21. Altmetric Badge
    Chapter 176 Testing and refinement for nondeterministic and probabilistic processes
  22. Altmetric Badge
    Chapter 177 Proving safety properties of hybrid systems
  23. Altmetric Badge
    Chapter 178 Formal Techniques in Real-Time and Fault-Tolerant Systems
  24. Altmetric Badge
    Chapter 179 A real time fault tolerant microprocessor based On-Board Computer System for INSAT-2 spacecraft
  25. Altmetric Badge
    Chapter 180 Reasoning about durations in Metric Temporal Logic
  26. Altmetric Badge
    Chapter 181 Scheduling in critical real-time systems: a manifesto
  27. Altmetric Badge
    Chapter 182 Stepwise development of fault-tolerant reactive systems
  28. Altmetric Badge
    Chapter 183 Distributed implementation of SIGNAL: Scheduling & graph clustering
  29. Altmetric Badge
    Chapter 184 Derivation of the input conditional formula from a reactive system specification in temporal logic
  30. Altmetric Badge
    Chapter 185 From physical modelling to compositional models of hybrid systems
  31. Altmetric Badge
    Chapter 186 Specification and transformation of reactive systems with time restrictions and concurrency
  32. Altmetric Badge
    Chapter 187 Languages for reactive specifications: Synchrony vs asynchrony
  33. Altmetric Badge
    Chapter 188 Specification and verification of controlled systems
  34. Altmetric Badge
    Chapter 189 Towards a duration calculus proof assistant in PVS
  35. Altmetric Badge
    Chapter 190 Algebraic reasoning for real-time probabilistic processes with uncertain information
  36. Altmetric Badge
    Chapter 191 Specifying timed state sequences in powerful decidable logics and timed automata
  37. Altmetric Badge
    Chapter 192 A calculus for hybrid sampled data systems
  38. Altmetric Badge
    Chapter 193 Formal design of hybrid systems
  39. Altmetric Badge
    Chapter 194 A formal proof of the Deadline Driven scheduler
  40. Altmetric Badge
    Chapter 195 Tools Demonstration
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
23 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.
Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-58468-4
ISBNs
978-3-54-058468-1, 978-3-54-048984-9
Editors

Langmaack, Hans, Roever, Willem-Paul, Vytopil, Jan

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 23 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 4%
Portugal 1 4%
Unknown 21 91%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 30%
Student > Bachelor 3 13%
Researcher 3 13%
Student > Master 3 13%
Lecturer 2 9%
Other 5 22%
Readers by discipline Count As %
Computer Science 19 83%
Business, Management and Accounting 1 4%
Unspecified 1 4%
Chemistry 1 4%
Engineering 1 4%
Other 0 0%