Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / edited by Stefan Kowalewski, Marco Roveri.
Contributor(s): Kowalewski, Stefan [editor.]
| Roveri, Marco [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 6371Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: XII, 231 p. 82 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642158988.Subject(s): Software engineering | Computer science | Compilers (Computer programs) | Computers, Special purpose | Software Engineering | Computer Science Logic and Foundations of Programming | Compilers and Interpreters | Special Purpose and Application-Based SystemsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online The Metrô Rio ATP Case Study -- Practical Issues with Formal Specifications -- Formal Analysis of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level Congruences -- An Automated Translator for Model Checking Time Constrained Workflow Systems -- Correctness of Sensor Network Applications by Software Bounded Model Checking -- Model Checking the FlexRay Physical Layer Protocol -- SMT-Based Formal Verification of a TTEthernet Synchronization Function -- Embedded Network Protocols for Mobile Devices -- A Study of Shared-Memory Mutual Exclusion Protocols Using CADP -- A Formal Model of Identity Mixer -- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.
There are no comments for this item.