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

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 Formal Verification of Industrial Critical Software
  3. Altmetric Badge
    Chapter 2 A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C
  4. Altmetric Badge
    Chapter 3 Intra-procedural Optimization of the Numerical Accuracy of Programs
  5. Altmetric Badge
    Chapter 4 Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
  6. Altmetric Badge
    Chapter 5 Successful Use of Incremental BMC in the Automotive Industry
  7. Altmetric Badge
    Chapter 6 Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources
  8. Altmetric Badge
    Chapter 7 Model Checking a Server-Side Micro Payment Protocol
  9. Altmetric Badge
    Chapter 8 Require, Test and Trace IT
  10. Altmetric Badge
    Chapter 9 Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution
  11. Altmetric Badge
    Chapter 10 Timed Mobility and Timed Communication for Critical Systems
  12. Altmetric Badge
    Chapter 11 On the Formal Analysis of Photonic Signal Processing Systems
  13. Altmetric Badge
    Chapter 12 Automated Verification of Nested DFS
  14. Altmetric Badge
    Chapter 13 On the Formal Verification of Optical Quantum Gates in HOL
Attention for Chapter 8: Require, Test and Trace IT
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
4 Mendeley
Summary X

This page is provided by Altmetric.