Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kowalewski, Stefan (Επιμελητής έκδοσης), Roveri, Marco (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Σειρά: Lecture Notes in Computer Science, 6371
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.

Πίνακας περιεχομένων:

• 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.