03868nam 22007215 450 99646590070331620200704183537.01-280-38921-497866135671303-642-15898-610.1007/978-3-642-15898-8(CKB)2670000000045120(SSID)ssj0000446473(PQKBManifestationID)11271326(PQKBTitleCode)TC0000446473(PQKBWorkID)10496859(PQKB)10124417(DE-He213)978-3-642-15898-8(MiAaPQ)EBC3065826(PPN)149024789(EXLCZ)99267000000004512020100913d2010 u| 0engurnn|008mamaatxtccrFormal Methods for Industrial Critical Systems[electronic resource] 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /edited by Stefan Kowalewski, Marco Roveri1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XII, 231 p. 82 illus.) Programming and Software Engineering ;6371International conference proceedings.3-642-15897-8 Includes bibliographical references and author index.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.Programming and Software Engineering ;6371Software engineeringComputer logicProgramming languages (Electronic computers)Special purpose computersSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Antwerpen <2010>swdKongress.swdSoftware engineering.Computer logic.Programming languages (Electronic computers).Special purpose computers.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Special Purpose and Application-Based Systems.005.131Kowalewski Stefanedthttp://id.loc.gov/vocabulary/relators/edtRoveri Marcoedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Formal Methods for Industrial Critical SystemsBOOK996465900703316Formal Methods for Industrial Critical Systems1921860UNISA