Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / / Stefan Kowalewski, Marco Roveri (eds.)

• Pubblicazione: Berlin, : Springer, 2010
• Edizione: 1st ed. 2010.
• Descrizione fisica: 1 online resource (XII, 231 p. 82 illus.)
• Disciplina: 005.131
• Soggetto topico: Formal methods (Computer science); Software engineering; Computer programs - Verification
• Altri autori: KowalewskiS (Stefan) RoveriMarco
• Note generali: International conference proceedings.
• Nota di bibliografia: Includes bibliographical references and author index.
• Nota di contenuto: 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.
• Altri titoli varianti: FMICS 2010
• Titolo autorizzato: Formal methods for industrial critical systems
• ISBN: 1-280-38921-4; 9786613567130; 3-642-15898-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484301203321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 6371.; LNCS sublibrary. : SL 2, . -Programming and software engineering.