↓ Skip to main content
What is this page? Embed badge

Formal Techniques for Distributed Objects, Components, and Systems

Overview of attention for book
Cover of 'Formal Techniques for Distributed Objects, Components, and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
  3. Altmetric Badge
    Chapter 2 Towards Bridging Time and Causal Reversibility
  4. Altmetric Badge
    Chapter 3 Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
  5. Altmetric Badge
    Chapter 4 Conformance-Based Doping Detection for Cyber-Physical Systems
  6. Altmetric Badge
    Chapter 5 On Implementable Timed Automata
  7. Altmetric Badge
    Chapter 6 Deep Statistical Model Checking
  8. Altmetric Badge
    Chapter 7 Trace Equivalence and Epistemic Logic to Express Security Properties
  9. Altmetric Badge
    Chapter 8 Derivation of Heard-of Predicates from Elementary Behavioral Patterns
  10. Altmetric Badge
    Chapter 9 Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
  11. Altmetric Badge
    Chapter 10 A Formal Framework for Consent Management
  12. Altmetric Badge
    Chapter 11 Tutorial: Parameterized Verification with Byzantine Model Checker
  13. Altmetric Badge
    Chapter 12 Typechecking Java Protocols with [St]Mungo
  14. Altmetric Badge
    Chapter 13 Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
5 X users
Summary X

This page is provided by Altmetric.