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