Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)
Article in Science of Computer Programming (July 2013)
The most recent citing publication is shown below. View this citation on Dimensions.
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 7:
An Automated Translator for Model Checking Time Constrained Workflow Systems