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

Formal Methods for Industrial Critical Systems

Overview of attention for book
Formal Methods for Industrial Critical Systems
Springer Berlin Heidelberg

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Metrô Rio ATP Case Study
  3. Altmetric Badge
    Chapter 2 Practical Issues with Formal Specifications
  4. Altmetric Badge
    Chapter 3 Formal Analysis of BPMN Models Using Event-B
  5. Altmetric Badge
    Chapter 4 Developing Mode-Rich Satellite Software by Refinement in Event B
  6. Altmetric Badge
    Chapter 5 Automatic Error Correction of Java Programs
  7. Altmetric Badge
    Chapter 6 Range Analysis of Microcontroller Code Using Bit-Level Congruences
  8. Altmetric Badge
    Chapter 7 An Automated Translator for Model Checking Time Constrained Workflow Systems
  9. Altmetric Badge
    Chapter 8 Correctness of Sensor Network Applications by Software Bounded Model Checking
  10. Altmetric Badge
    Chapter 9 Model Checking the FlexRay Physical Layer Protocol
  11. Altmetric Badge
    Chapter 10 SMT-Based Formal Verification of a TTEthernet Synchronization Function
  12. Altmetric Badge
    Chapter 11 Embedded Network Protocols for Mobile Devices
  13. Altmetric Badge
    Chapter 12 A Study of Shared-Memory Mutual Exclusion Protocols Using CADP
  14. Altmetric Badge
    Chapter 13 A Formal Model of Identity Mixer
  15. Altmetric Badge
    Chapter 14 Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept
Attention for Chapter 6: Range Analysis of Microcontroller Code Using Bit-Level Congruences
Altmetric Badge

Readers on

mendeley
2 Mendeley
Summary
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.
Chapter title
Range Analysis of Microcontroller Code Using Bit-Level Congruences
Chapter number 6
Book title
Formal Methods for Industrial Critical Systems
Published in
ADS, September 2010
DOI 10.1007/978-3-642-15898-8_6
Book ISBNs
978-3-64-215897-1, 978-3-64-215898-8
Authors

Jörg Brauer, Andy King, Stefan Kowalewski, Brauer, Jörg, King, Andy, Kowalewski, Stefan

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Student > Master 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.